UniGeo
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Geometry Calculation | UniGeo 1.0 (Calculation) | Overall Accuracy67.8 | 22 | |
| Geometry Proving | UniGeo 1.0 (Proving) | Overall Score97.8 | 15 | |
| Automated Theorem Proving | UniGeo Plane Geometry 1.0 (test) | Output Tokens (Thousands)0.12 | 12 | |
| Geometry Problem Solving | UniGeo calculation (test) | Top-1 Accuracy96.9 | 11 | |
| Plane Geometry Problem Solving | Unigeo (test) | Accuracy84.6 | 9 | |
| Theorem Proving | UniGeo | Solved Count10 | 6 | |
| Formal Theorem Proving | UniGeo (10) | Proof Length4.1 | 6 | |
| Geometry problem solving | UniGeo Prv (test) | Accuracy98.5 | 6 | |
| Geometry problem solving | UniGeo CAL (test) | Accuracy75.2 | 6 | |
| Geometric Proving | UniGeo proof part | Accuracy94.4 | 4 | |
| Geometric Proving | UniGeo | Top-1 Acc51.3 | 4 |
Showing 11 of 11 rows