math benchmark
InterGPS Leaderboard
InterGPS is a geometry benchmark based on the Geometry3K dataset of 3,002 geometry problems with dense annotation in formal language using theorem knowledge and symbolic reasoning.
Updated Sep 5, 2026
Models2
Model coverage2
MetricScore
EvidenceB
InterGPS Ranking
Higher score ranks better on this benchmark.
Sort by
Rank | Model | Score | Percentile | Participants | Evidence | Evaluated |
|---|
| Rank01 | ModelMI | Score48.60% | Percentile100.00% | Participants2 | EvidenceC | Evaluated |
| Rank02 | ModelMI | Score36.30% | Percentile0.00% | Participants2 | EvidenceC | Evaluated |
InterGPS Highlights
The leading models and scores on this benchmark.
InterGPS Score Distribution
A closer view of the leading scores on this benchmark.
The Top AI Models for InterGPS
The first five results on this benchmark, with official price and output speed added where the model identity can be matched.
What is InterGPS?
What InterGPS measures and how its scores work.
InterGPS is a geometry benchmark associated with the Interpretable Geometry Problem Solver (Inter-GPS) and the Geometry3K dataset.
It reports a Score measured as a ratio.
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
- overall
LLM Stats. 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.60%.
What are the top three models on InterGPS?
The current leaders are Phi-4-multimodal-instruct (48.60%) and Phi-3.5-vision-instruct (36.30%).
Which InterGPS model has the lowest official input price?
No matched official input price is currently available.
Which models are fastest among InterGPS results?
The fastest matched records are Phi-4-multimodal-instruct (25.00 tok/s via DeepInfra).
Does the highest score result prove overall model quality?
No. This benchmark measures one defined capability or task. The overall LLMBoard score uses a separate aggregation across eligible benchmark evidence.