List your company
ResearchFormerly WizWand

Euclidean geometry problem solving on HAGeo-409

287Solved ProblemsHAGeo
79133187241Sep 26, 2025
Updated 8mo ago

Evaluation results

MethodLinks
HAGeoModel Size=-, Search Budget=81922025.09287
GenesisGeo (Vision + Text)Model Size=2B, Search Budget=32×512×42025.09278
GenesisGeo (Engine)Model Size=-, Search Budget=81922025.09270
GenesisGeo (Text)Model Size=2B, Search Budget=32×512×42025.09270
GenesisGeo (Engine)Model Size=-, Search Budget=40962025.09268
GenesisGeo (Engine)Model Size=-, Search Budget=20482025.09264
Newclid 3.0Model Size=-, Search Budget=81922025.09249
Newclid 3.0Model Size=-, Search Budget=40962025.09245
Newclid 3.0Model Size=-, Search Budget=20482025.09241
AG2 (Engine)Model Size=-, Search Budget=40962025.09231
AG2 (Engine)Model Size=-, Search Budget=81922025.09231
AG2 (Engine)Model Size=-, Search Budget=20482025.09228
AG1Model Size=151M, Search Budget=32×512×42025.09112
Newclid 3.0Model Size=-, Search Budget=02025.09104
GenesisGeo (Engine)Model Size=-, Search Budget=02025.09103
AG2 (Engine)Model Size=-, Search Budget=02025.0987