Formal Mathematics Statement Curriculum Learning

Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
January, 2022
Cite URL
Type
Journal article
Publication
Top 25% paper at ICLR 2023