Lenny Taelman

Full Professor, University of Amsterdam

Joined

January 2026

Names

Lenny Taelman (Preferred)

Emails

****@uva.nl (Confirmed)

,

****@gmail.com

Personal Links

Career & Education History

Full Professor

University of Amsterdam (uva.nl)

2014 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Automated theorem proving

2024 – Present

Formal methods in mathematics

2024 – Present

Pure mathematics

2002 – Present

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