Skip to yearly menu bar Skip to main content


Tutorial Sun, Jul 5, 2026 • 5:00 PM – 7:30 PM PDT HALL B2

Proving Theorems with Lean and Machine Learning

Rémy Degenne ⋅ Wenda Li

Log in and register to view live content