Euclidean geometry problem solving on HAGeo-409
287Solved ProblemsHAGeo
Evaluation Results
| Method | Links | |
|---|---|---|
| HAGeoModel Size=-, Search Budget=81922025.09 | 287 | |
| GenesisGeo (Vision + Text)Model Size=2B, Search Budget=32×512×42025.09 | 278 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=81922025.09 | 270 | |
| GenesisGeo (Text)Model Size=2B, Search Budget=32×512×42025.09 | 270 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=40962025.09 | 268 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=20482025.09 | 264 | |
| Newclid 3.0Model Size=-, Search Budget=81922025.09 | 249 | |
| Newclid 3.0Model Size=-, Search Budget=40962025.09 | 245 | |
| Newclid 3.0Model Size=-, Search Budget=20482025.09 | 241 | |
| AG2 (Engine)Model Size=-, Search Budget=40962025.09 | 231 | |
| AG2 (Engine)Model Size=-, Search Budget=81922025.09 | 231 | |
| AG2 (Engine)Model Size=-, Search Budget=20482025.09 | 228 | |
| AG1Model Size=151M, Search Budget=32×512×42025.09 | 112 | |
| Newclid 3.0Model Size=-, Search Budget=02025.09 | 104 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=02025.09 | 103 | |
| AG2 (Engine)Model Size=-, Search Budget=02025.09 | 87 |