OpenAI Tackles Math - Formal Mathematics Statement Curriculum Learning

OpenAI Tackles Math - Formal Mathematics Statement Curriculum Learning

Yannic Kilcher via YouTube Direct link

- How expert iteration creates a curriculum

4 of 11

4 of 11

- How expert iteration creates a curriculum

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. 1 - Intro
  2. 2 - Paper Overview
  3. 3 - How do formal proofs work?
  4. 4 - How expert iteration creates a curriculum
  5. 5 - Model, data, and training procedure
  6. 6 - Predicting proof lengths for guiding search
  7. 7 - Bootstrapping expert iteration
  8. 8 - Experimental evaluation & scaling properties
  9. 9 - Results on synthetic data
  10. 10 - Solving real math problems
  11. 11 - Discussion & comments

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.