miniF2F-valid

Benchmarks

Automated Theorem Proving/Pass@8 Automated Theorem Proving/Pass@64 Automated Theorem Proving/Pass@1 Automated Theorem Proving/Pass@100 Mathematical Proofs/Pass@8 Mathematical Proofs/Pass@64 Mathematical Proofs/Pass@1 Mathematical Proofs/Pass@100