InterGPS: leaderboard

3,002 four-choice geometry problems with diagrams from grade 6-12 textbooks (Geometry3K), released with the Inter-GPS symbolic solver by UCLA and collaborators (ACL 2021); 601 test problems, accuracy.

Source: arxiv.org.

Interactive version: theaggregate.ai/benchmark?slug=intergps · How It Works · Data refreshed daily, snapshot 2026-09-05.