List your company

ResearchFormerly WizWand

HAGeo

Benchmarks

TaskDatasetSOTA resultTrendResults

Euclidean geometry problem solving

HAGeo-409

287Solved Problems

16

Geometry Theorem Proving

HAGeo-409 (Total)

287Solved Count

5

Geometry Theorem Proving

HAGeo-409 Level 6-7

2Solved Count

5

Geometry Theorem Proving

HAGeo-409 Level 5-6

7Solved Count

5

Geometry Theorem Proving

HAGeo-409 Level 4-5

36Solved Count

5

Geometry Theorem Proving

HAGeo-409 (Level 1-3)

149Solved Count

5