Search Results for author:
Found 2 papers, 2 papers with code
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics.
Proof Artifact Co-training for Theorem Proving with Language Models
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.
Ranked #7 on
Automated Theorem Proving
on miniF2F-test
Cannot find the paper you are looking for? You can
Submit a new open access paper.
