Search Results for author: Stanislas Polu

Found 5 papers, 3 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 #3 on Automated Theorem Proving on miniF2F-test (using extra training data)

Automated Theorem Proving Language Modelling

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

3 code implementations ICLR 2022 Kunhao Zheng, Jesse Michael Han, Stanislas Polu

We present miniF2F, a dataset of formal Olympiad-level mathematics problems statements intended to provide a unified cross-system benchmark for neural theorem proving.

 Ranked #1 on Automated Theorem Proving on miniF2F-valid (using extra training data)

Automated Theorem Proving

Proof Artifact Co-training for Theorem Proving with Language Models

4 code implementations ICLR 2022 Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built.

Automated Theorem Proving Imitation Learning +1

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