Formal Mathematics Statement Curriculum Learning
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
Lean Expert Iteration
#9
cumulative: 36.6
Pass@1: 29.6
Pass@32: 34.5
Pass@64: 36.6
ITP: Lean
Rank counts only results with a code link.