# Geometric Proving on UniGeo proof part Source: [Geometric Proving on UniGeo proof part]() Collection index: [llms.txt]() Data updated: 2026-04-21T12:56:27.388Z Evaluation of model performance on geometric proving tasks using the UniGeo proof part dataset, measured by Accuracy. A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage. | Scope | Recorded value | | --- | --- | | Task | Geometric Proving | | Dataset (including any stated split) | UniGeo proof part | | Metric | Accuracy | | Unit | PERCENT | | Direction | Higher is better | | Results loaded | 4 of 4 | | Coverage | All results currently returned for this benchmark | Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol. ## Metrics - [Accuracy](): Higher is better; unit: PERCENT. ## Recorded results | Method | Accuracy | Result date | Report paper | | --- | --- | --- | --- | | AlphaGeometry | 94.4 | Not recorded | 68fa79d01e209131cea7f82e | | GPT-4o | 74.1 | Not recorded | 68fa79d01e209131cea7f82e | | GeometryZero-14B | 72.2 | Not recorded | 68fa79d01e209131cea7f82e | | Qwen2.5-14B-Instruct | 64.8 | Not recorded | 68fa79d01e209131cea7f82e | ### AlphaGeometry Accuracy: 94.4. Result ID: 69e772de47f34ce924cf31c1. [Reporting paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### GPT-4o Accuracy: 74.1. Result ID: 69e772de47f34ce924cf31c2. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction. ### GeometryZero-14B Accuracy: 72.2. Result ID: 69e772de47f34ce924cf31c4. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"number of parameters":"14B"}. This record does not assert independent reproduction. ### Qwen2.5-14B-Instruct Accuracy: 64.8. Result ID: 69e772de47f34ce924cf31c3. [Reporting paper]() [Method origin paper]() Recorded evaluation configuration: {"number of parameters":"14B"}. This record does not assert independent reproduction. Page 1 of 1. This is an index page, not the full collection.