Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
ProofAug
#2
cumulative: 66.0
Pass@1: 36.5
Pass@100: 52.5
ITP: Isabelle
Rank counts only results with a code link.