Skip to yearly menu bar Skip to main content


Tutorial Sun, Jul 5, 2026 • 9:30 PM – 12:00 AM PDT HALL B2

Evaluating and Training LLMs for Math Copilots and Theorem Proving

Simon Frieder ⋅ Philip Vonderlind

Log in and register to view live content