MiniF2F
Benchmarks
TaskDatasetSOTA resultTrendResults
MiniF2F (test)
100Pass@1
157
MiniF2F
100Compilation Pass Rate@10
28
miniF2F (test)
26.5Proven Theorems (%)
6
miniF2F 201-problem hard
19.4Total Solve Rate
2
MiniF2F Lean4 (test)
69.7Pass@16 (Overall)
2