Search Results for author:
Found 1 papers, 1 papers with code
Formal Mathematics Statement Curriculum Learning
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)
Cannot find the paper you are looking for? You can
Submit a new open access paper.
