Search Results for author: Mantas Baksys

Found 1 papers, 1 papers with code

Formal Mathematics Statement Curriculum Learning

1 code implementation3 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)

Automated Theorem Proving Language Modelling

Cannot find the paper you are looking for? You can Submit a new open access paper.