Tyler Dohrn
1 papers
· 2017–2017
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(14)
🚀
Conference Pioneer
Conferences
ALT (1)
Top co-authors
Papers
The Power of Random Counterexamples
ALT 2017