YoVDO

Autoformalization - Ten Years into the Game

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses Artificial Intelligence Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX