InterGPS

Multilingual: no

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

Methodology

Imported from llm-stats public benchmark metadata. Modality: text. Max score: 1. Categories: math, spatial_reasoning. Language: en. Verified by llm-stats: no.

Leaderboard

Showing 2 of 2 results

Phi-4-multimodal-instruct self-reported llm-stats

48.6%
Phi-3.5-vision-instruct self-reported llm-stats

36.3%