Skip to yearly menu bar Skip to main content

Tutorial Mon, Jul 6, 2026 • 1:30 PM – 4:00 PM KST HALL B2

Evaluating and Training LLMs for Math Copilots and Theorem Proving

Simon Frieder ⋅ Philip Vonderlind

Log in and register to view live content