Skip to yearly menu bar Skip to main content


Tutorial Mon, Jul 6, 2026 • 9:00 AM – 11:30 AM KST HALL B2

Proving Theorems with Lean and Machine Learning

Rémy Degenne ⋅ Wenda Li

Log in and register to view live content