Overview
Explore the evolution and future prospects of autoformalization in this 24-minute talk by Josef Urban at the Hausdorff Center for Mathematics. Delve into past approaches, current methodologies, and emerging ideas shaping the field of automated theorem proving and formal mathematics.
Syllabus
Josef Urban: Autoformalization - ten years into the game
Taught by
Hausdorff Center for Mathematics