math benchmark
InterGPS Leaderboard
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 17, 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.6% | Percentile100.0% | Participants2 | EvidenceC | Evaluated |
| Rank02 | ModelMI | Score36.3% | Percentile0.0% | 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.
Ranking basisThis intergps AI model leaderboard uses descending score in the benchmark's original unit. The leaderboard ranking keeps matched price and speed data separate from benchmark evidence.
- 01MIPhi-4-multimodal-instructMicrosoft
- Score
- 48.6%
- Speed
- Up to 25 tok/s via DeepInfra
Strengths
- Ranks #1 of 2 compared models
- 100th percentile on this benchmark
- C evidence result
Considerations
- This result measures InterGPS, not total model capability
- 02MIPhi-3.5-vision-instructMicrosoft
- Score
- 36.3%
Strengths
- Ranks #2 of 2 compared models
- 0th percentile on this benchmark
- C evidence result
Considerations
- This result measures InterGPS, not total model capability
Selection summary
Best AI Models for InterGPS
Phi-4-multimodal-instruct currently leads InterGPS with 48.6%. It is the top model on this specific benchmark, while the best LLM for the broader task should also be checked against other benchmarks, price and runtime.
Use this leaderboard with the supporting benchmark results and coverage details above. A leaderboard position summarizes the selected ranking signal; it does not replace workload-specific testing.
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.