MiniF2F
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | MiniF2F (test) | Pass@1100 | 157 | |
| Autoformalization | MiniF2F | Compilation Pass Rate@10100 | 28 | |
| Formal-to-formal theorem proving | miniF2F (test) | Proven Theorems (%)26.5 | 6 | |
| Formal Theorem Proving | miniF2F 201-problem hard | Total Solve Rate19.4 | 2 | |
| Formal Math Proving | MiniF2F Lean4 (test) | Pass@16 (Overall)69.7 | 2 |
Showing 5 of 5 rows