MiniF2F
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | MiniF2F (test) | Pass@180.74 | 100 | |
| 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 3 of 3 rows