math benchmark
InterGPS
Interpretable Geometry Problem Solver (Inter-GPS) with Geometry3K dataset of 3,002 geometry problems with dense annotation in formal language using theorem knowledge and symbolic reasoning
Updated Aug 11, 2026
Models2
Model coverage2
MetricScore
EvidenceB
InterGPS Ranking
Higher score ranks better on this benchmark.
| 1 | MI | 48.6% | 100.0% | 2 | C | |
| 2 | MI | 36.3% | 0.0% | 2 | C |
InterGPS Score Distribution
A closer view of the leading scores on this benchmark.
InterGPS Highlights
The leading models and scores on this benchmark.
What is InterGPS?
What InterGPS measures and how its scores work.
Interpretable Geometry Problem Solver (Inter-GPS) with Geometry3K dataset of 3,002 geometry problems with dense annotation in formal language using theorem knowledge and symbolic reasoning
Scores are shown in ratio. This benchmark is not independently verified and has an evidence level of B.
- Family
- InterGPS
- Modality
- text
- Primary category
- math
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- intergps|llm-stats-current
Benchmark scores retain their original unit. Overall score eligibility is shown separately.
FAQ
Common questions about InterGPS.
Which model scores highest on InterGPS?
Phi-4-multimodal-instruct is currently ranked first with 48.6%.
What does InterGPS measure?
Interpretable Geometry Problem Solver (Inter-GPS) with Geometry3K dataset of 3,002 geometry problems with dense annotation in formal language using theorem knowledge and symbolic reasoning
Is a higher score better?
Yes. Higher values rank better for this benchmark.
How many models are compared?
2 model results are currently shown.
Does this benchmark affect the overall score?
No. This benchmark is shown for reference but does not contribute to the overall score.