École Polytechnique; Multi Technologies; OpenAI; DeepMind; University of Cambridge
Stanislas Polu, Jesse Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
neural theorem proving;formal mathematics;language modeling;expert iteration
Formal Mathematics Statement Curriculum Learning