miniF2F-test
Benchmarks
Automated Theorem Proving/cumulativeAutomated Theorem Proving/Pass@1Automated Theorem Proving/Pass@32Automated Theorem Proving/Pass@64Automated Theorem Proving/Pass@100Automated Theorem Proving/ITPAutomated Theorem Proving/pass@1024Automated Theorem Proving/pass@8192Mathematical Proofs/cumulativeMathematical Proofs/Pass@1Mathematical Proofs/Pass@32Mathematical Proofs/Pass@64Mathematical Proofs/Pass@100Mathematical Proofs/ITPMathematical Proofs/pass@1024Mathematical Proofs/pass@8192