Physics ∩ ML Seminars |
Events During the Week of April 3rd through April 10th, 2022
Monday, April 4th, 2022
- No events scheduled
Tuesday, April 5th, 2022
- No events scheduled
Wednesday, April 6th, 2022
- Formal Mathematics Statement Curriculum Learning
- Time: 11:00 am - 12:15 pm
- Place: Chamberlin 5280 (Zoom link also available for online participants who signed up on our mailing list)
- Speaker: Stanislas Polu, OpenAI
- Abstract: We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean proof search interleaved with learning, dramatically outperforms proof search only. We also observe that when applied to a collection of formal statements of sufficiently varied difficulty, expert iteration is capable of finding and solving a curriculum of increasingly difficult problems, without the need for associated ground-truth proofs. Finally, by applying this expert iteration to a manually curated set of problem statements, we achieve state-of-the-art on the miniF2F benchmark, automatically solving multiple challenging problems drawn from high school olympiads.
Thursday, April 7th, 2022
- RED Talk: Data Science is on its Feet, Now Where is it Going?
- Time: 4:00 pm - 5:00 pm
- Place: Virtual, please register at
- Speaker: Kyle Cranmer, AmFam Data Science Institute
- Abstract: Interested in learning about the intersection of computational methodologies and real world problems, and the future of data science? Join UW-Madison CDIS for a virtual RED Talk by Kyle Cranmer, incoming director of American Family Data Science Institute!
- Host: CDIS
Friday, April 8th, 2022
- No events scheduled