Leonardo de Moura
home
about me
publications
blog
notes
presentations
Blog
2026-03-16
»
Who Watches the Provers?
2026-03-14
»
Teaching AI to Make Proof Automation Work
2026-02-28
»
When AI Writes the World's Software, Who Verifies It?
2026-02-18
»
Proof Assistants in the Age of AI