Ongoing

CMSA Colloquium 9/15/2021 – 5/25/2022

CMSA 20 Garden Street, Cambridge

During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The […]

Formal Mathematics Statement Curriculum Learning

https://youtu.be/4zINaGrPc9M Speaker: Stanislas Polu, OpenAI Title: Formal Mathematics Statement Curriculum Learning Abstract: We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show […]