MiniF2F
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | MiniF2F (test) | Pass@199.6 | 128 | |
| Autoformalization | MiniF2F | Compilation Pass Rate@10100 | 28 | |
| Formal-to-formal theorem proving | miniF2F (test) | Proven Theorems (%)26.5 | 6 | |
| Formal Math Proving | MiniF2F Lean4 (test) | Pass@16 (Overall)69.7 | 2 |
Showing 4 of 4 rows