List your company
ResearchFormerly WizWand

Euclidean Geometry Problem Solving on IMO-30

30Solved ProblemsAG2
14.418.4522.526.55Sep 26, 2025
Updated 8mo ago

Evaluation results

MethodLinks
AG2Model Size=3.3B, Search Budget=N/A2025.0930
TongGeometryModel Size=1.3B, Search Budget=N/A2025.0930
SeedProverModel Size=N/A, Search Budget=N/A2025.0930
GenesisGeo (Vision + Text)Model Size=2B, Search Budget=32×512×42025.0929
HAGeoModel Size=-, Search Budget=40962025.0928
GenesisGeo (Text)Model Size=2B, Search Budget=32×512×42025.0928
GenesisGeo (Engine)Model Size=-, Search Budget=20482025.0926
GenesisGeo (Engine)Model Size=-, Search Budget=40962025.0926
GenesisGeo (Engine)Model Size=-, Search Budget=81922025.0926
AG2 (Engine)Model Size=-, Search Budget=20482025.0925
AG2 (Engine)Model Size=-, Search Budget=40962025.0925
AG2 (Engine)Model Size=-, Search Budget=81922025.0925
AG1Model Size=151M, Search Budget=32×512×42025.0925
Newclid 3.0Model Size=-, Search Budget=20482025.0923
Newclid 3.0Model Size=-, Search Budget=40962025.0923
Newclid 3.0Model Size=-, Search Budget=81922025.0923
Newclid 3.0Model Size=-, Search Budget=02025.0916
GenesisGeo (Engine)Model Size=-, Search Budget=02025.0916
AG2 (Engine)Model Size=-, Search Budget=02025.0915