OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Oliver Dressler
Researcher, Math Inc
Joined
January 2026
Names
Oliver Dressler
(Preferred)
,
Oliver J Dressler
Emails
****@gmail.com
(Confirmed)
,
****@math.inc
(Confirmed)
Personal Links
Homepage
Google Scholar
LinkedIn
Career & Education History
Researcher
Math Inc
(math.inc)
2026
–
Present
PhD student
Chemical Engineering,
ETHZ - ETH Zurich
(ethz.ch)
2013
–
2018
MS student
Biochemistry,
ETHZ - ETH Zurich
(ethz.ch)
2011
–
2013
Undergrad student
Biochemistry,
ETHZ - ETH Zurich
(ethz.ch)
2007
–
2010
Advisors, Relations & Conflicts
PhD Advisor
Andrew DeMello
2013
–
2018
Expertise
No areas of expertise listed
Publications
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
Austin Letson
,
Leopoldo Sarra
,
Auguste Poiroux
,
Oliver Dressler
,
Paul Lezeau
,
Dhyan Aranha
,
Frederick Pu
,
Aaron Hill
,
Miguel Corredera Hidalgo
,
Julian Berman
,
George Tsoukalas
,
Lenny Taelman
ICLR 2026 Workshop VerifAI-2
Readers:
Everyone
Co-Authors
Aaron Hill
Auguste Poiroux
Austin Letson
Dhyan Aranha
Frederick Pu
George Tsoukalas
Julian Berman
Lenny Taelman
Leopoldo Sarra
Miguel Corredera Hidalgo
Paul Lezeau