Combibench
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Auto-formalization | CombiBench | Pass@897 | 13 | |
| Statement generation | CombiBench N = 100 | CH@1001 | 11 | |
| Autoformalization and Proving | CombiBench (N=100) | Pass@6496 | 4 | |
| Formal Theorem Proving | Combibench | Solve Rate48 | 2 |
Showing 4 of 4 rows