Formal Mathematics Statement Curriculum Learning

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2022-02
Hauptverfasser:	Polu, Stanislas, Han, Jesse Michael, Zheng, Kunhao, Mantas Baksys, Babuschkin, Igor, Sutskever, Ilya
Format:	Artikel
Sprache:	eng
Schlagworte:	Curricula Iterative methods Learning Mathematical analysis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!