Theorem
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Reasoning | Theorem | Accuracy23.8 | 35 | |
| Mathematical Reasoning | Theorem (test) | Accuracy32.2 | 13 | |
| Reasoning | Theorem (test) | AUROC87.3 | 2 |
Showing 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematical Reasoning | Theorem | Accuracy23.8 | 35 | |
| Mathematical Reasoning | Theorem (test) | Accuracy32.2 | 13 | |
| Reasoning | Theorem (test) | AUROC87.3 | 2 |