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
2rows
scoreprimary metric
2026-05-06sampled
Metadata
Metrics
Score, Normalized Score
| Rank | Subject | Score | Model Match | Provenance | Sampled |
|---|---|---|---|---|---|
| 1 | Phi-4-multimodal-instruct | 0.49 | — | Self-reported | 2026-05-06 |
| 2 | Phi-3.5-vision-instruct | 0.36 | — | Self-reported | 2026-05-06 |
No matching rows.