Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever:
Formal Mathematics Statement Curriculum Learning. ICLR 2023
Formal Mathematics Statement Curriculum Learning. ICLR 2023