Events at Physics

<< Fall 2021 Spring 2022 Summer 2022 >>
Subscribe your calendar or receive email announcements of events

Events on Wednesday, April 6th, 2022

Physics ∩ ML Seminar
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.
Add this event to your calendar
Careers for Physicists
PGSC Professional Development Event
Time: 2:00 pm - 3:00 pm
Place: Chamberlain 4274
Speaker: Ryan Roussell, SLAC
Abstract: Join PGSC to learn about working at a national lab. We will be hosting Ryan Roussell, a SLAC associate scientist based in Chicago for a talk about his research titled “Bayesian Techniques for Optimization and Control of National Laboratory Scientific Facilities” and a discussion about careers at national labs followed by lunch provided by PGSC.
Host: David Guevel
Add this event to your calendar