1 code implementation • 3 Feb 2022 • Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, Ilya Sutskever
We explore the use of expert iteration in the context of language modeling applied to formal mathematics.
Ranked #4 on Automated Theorem Proving on miniF2F-test (using extra training data)