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.
Overview
Syllabus
Josef Urban: Autoformalization - ten years into the game
Taught by
Hausdorff Center for Mathematics
Related Courses
-
Theorem Proving and AI
-
The Proofgold Blockchain: Integrating Formal Proofs with Cryptocurrency
-
First-Order Logic from a Naproche Perspective
-
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
-
Mechanising Gödel-Löb Provability Logic in HOL Light
-
Impromptu Chat About Hahn-Banach Theorem in Lean
