HAGeo
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Euclidean geometry problem solving | HAGeo-409 | Solved Problems287 | 16 | |
| Geometry Theorem Proving | HAGeo-409 (Total) | Solved Count287 | 5 | |
| Geometry Theorem Proving | HAGeo-409 Level 6-7 | Solved Count2 | 5 | |
| Geometry Theorem Proving | HAGeo-409 Level 5-6 | Solved Count7 | 5 | |
| Geometry Theorem Proving | HAGeo-409 Level 4-5 | Solved Count36 | 5 | |
| Geometry Theorem Proving | HAGeo-409 (Level 1-3) | Solved Count149 | 5 |
Showing 6 of 6 rows