ProofNet
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Autoformalization | ProofNet (test) | πFV44.09 | 12 | |
| Theorem Proving | ProofNet (test) | Pass Rate (%)15.25 | 12 | |
| Theorem Proving | ProofNet (val) | Accuracy25.4 | 11 | |
| Theorem Proving | ProofNet (all) | Accuracy25.3 | 7 | |
| Formal Theorem Proving | ProofNet (val) | Pass Rate9.04 | 6 | |
| Formal Theorem Proving | ProofNet (test) | Accuracy25.8 | 5 |
Showing 6 of 6 rows