Geometry Proving on UniGeo 1.0 (Proving)
97.8Overall ScoreGAPS
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| GAPSTraining Data=PRV2024.01 | 97.8 | 86.1 | 100 | 99.6 | 99.5 | 92 | |
| GAPSTraining Data=UniGeo2024.01 | 97.5 | 85.5 | 100 | 99.6 | 99.1 | 90.7 | |
| Geoformer + PretrainingData Setting=UniGeo, Pre-training=true2022.12 | 56.4 | 19.4 | 69.4 | 20.4 | 60.3 | 75 | |
| GeoformerTraining Data=UniGeo2024.01 | 56.4 | 19.4 | 69.4 | 20.4 | 60.3 | 75 | |
| GeoformerData Setting=UniGeo2022.12 | 55.8 | 18.1 | 68.8 | 20.4 | 60.3 | 73.3 | |
| GeoformerData Setting=Proving2022.12 | 55.7 | 19.4 | 68.3 | 20.4 | 60.6 | 72.5 | |
| GeoformerTraining Data=PRV2024.01 | 55.7 | 13.2 | 56.6 | 29.8 | 57.1 | 79.4 | |
| NGSData Setting=Proving2022.12 | 53.2 | 13.2 | 56.6 | 29.8 | 57.1 | 79.4 | |
| NGSTraining Data=PRV2024.01 | 53.2 | 13.2 | 56.6 | 29.8 | 57.1 | 79.4 | |
| BERTData Setting=UniGeo2022.12 | 48.1 | 15.4 | 48 | 31.7 | 49.5 | 75.1 | |
| BERT2ProgTraining Data=UniGeo2024.01 | 48.1 | 15.4 | 48 | 31.7 | 49.5 | 75.1 | |
| BERTData Setting=Proving2022.12 | 48 | 15.5 | 48.1 | 28.5 | 49.5 | 77.6 | |
| BERT2ProgTraining Data=PRV2024.01 | 48 | 15.5 | 48.1 | 28.5 | 49.5 | 77.6 | |
| NGSData Setting=UniGeo2022.12 | 47.4 | 11.2 | 46.9 | 31.3 | 48.3 | 77.6 | |
| NGSTraining Data=UniGeo2024.01 | 47.4 | 11.2 | 46.9 | 31.3 | 48.3 | 77.6 |