Completed
- Solving real math problems
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
OpenAI Tackles Math - Formal Mathematics Statement Curriculum Learning
Automatically move to the next video in the Classroom when playback concludes
- 1 - Intro
- 2 - Paper Overview
- 3 - How do formal proofs work?
- 4 - How expert iteration creates a curriculum
- 5 - Model, data, and training procedure
- 6 - Predicting proof lengths for guiding search
- 7 - Bootstrapping expert iteration
- 8 - Experimental evaluation & scaling properties
- 9 - Results on synthetic data
- 10 - Solving real math problems
- 11 - Discussion & comments
