Geometric Proving on UniGeo proof part
94.4AccuracyAlphaGeometry
Evaluation results
| Method | Links | |
|---|---|---|
| AlphaGeometry2025.06 | 94.4 | |
| GPT-4o2025.06 | 74.1 | |
| GeometryZero-14Bnumber of parameters=14B2025.06 | 72.2 | |
| Qwen2.5-14B-Instructnumber of parameters=14B2025.06 | 64.8 |