ProverBench
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving | ProverBench | Proof Length5.5 | 13 | |
| Theorem Proving | ProverBench Number Theory | Solved Problems25 | 13 | |
| Autoformalization | ProverBench | Success Count95.38 | 7 |
Showing 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving | ProverBench | Proof Length5.5 | 13 | |
| Theorem Proving | ProverBench Number Theory | Solved Problems25 | 13 | |
| Autoformalization | ProverBench | Success Count95.38 | 7 |