QuantumTheorems
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | QuantumTheorems (total) | Accuracy96 | 4 | |
| Formal Theorem Proving | QuantumTheorems (intermediate) | Accuracy92 | 4 | |
| Formal Theorem Proving | QuantumTheorems easy | Accuracy100 | 4 |
Showing 3 of 3 rows