sabakublashvili/

idef-geobench

IDEF-GeoBench is a small, curated benchmark (n = 40) for Euclidean geometry reasoning and structured solution generation under a strict, machine-checkable input/output (I/O) format designed for programmatic checking and API-based evaluation.

Dataset (Hugging Face): https://huggingface.co/datasets/sabakublashvili/idef-geobench
API key / developer access: https://idef-mathematics.com/api

Many Euclidean geometry problems can be expressed as… See the full description on the dataset page: https://huggingface.co/datasets/sabakublashvili/idef-geobench.