AbstractAlgebra
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Theorem Proving | AbstractAlgebra (total) | Accuracy64 | 4 | |
| Formal Theorem Proving | AbstractAlgebra intermediate | Accuracy56 | 4 | |
| Formal Theorem Proving | AbstractAlgebra easy | Accuracy72 | 4 |
Showing 3 of 3 rows