Completed
Term Generation
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Deep Learning in Interactive Theorem Proving - IPAM at UCLA
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 About this talk
- 3 Challenges of IPAM
- 4 Is there enough data
- 5 Tools
- 6 Do they work
- 7 Gathering data
- 8 Representation
- 9 Grammar
- 10 Premise Selection
- 11 Term Generation
- 12 Predict the Next Move
- 13 Reinforcement Learning
- 14 Expert iteration
- 15 Expertise
- 16 Other stuff
- 17 Challenges
- 18 Data Contamination
- 19 Benchmarking strategies
- 20 AI and theorem proving
