0/1 уроков (0%)
– из 1
Autoformalization - Ten Years into the Game
YouTube·Mathematical logic
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.