Recent Presentations
2026
-
Lean for AI, AI for Lean, Lean FRO
-
From Decision Procedures to Proof Automation in Lean, Stanford
-
The State of Lean, University of Washington
-
The State of Lean, Lean Together
2025
-
The State of Lean, Lean@Google
-
The Making of Lean, ItaLean
-
Lean: Machine-Checked Mathematics and Verified Programming, Cornell
-
A Decade of Lean: Advancing Proof Automation for Mathematics and Software Verification, CADE
-
Lean: Machine-Verified Mathematics and Programming for Financial Quantitative Analysis, QRT
-
The Lean Theorem Prover and the Formalization of Mathematics, SNU
-
Lean: Machine-Checked Mathematics and Verified Programming, Past and Future, PLDI
-
Verifying the Future: Lean's Role in Building Reliable Systems, NVIDIA
-
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI, ASL
-
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI, HCSS
-
Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI, Oxford
-
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI, Simons Foundation