datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
geointel-rag-dataGeoint
Dataset Summary
Geoint is a comprehensive benchmark dataset explicitly designed for formal geometric problemsolving. Geoint encompasses 1,885 carefully curated geometric questions across diverse categories including plane, spatial, and solid geometry problems. Each problem is richly annotated with both structured textual descriptions and accompanying visual diagrams to support multimodal understanding. Furthermore, Geoint leverages the Lean 4 proof assistant to formally represent… See the full description on the dataset page: https://huggingface.co/datasets/OpenRaiser/Geoint.Geoint_parsedgeoIntgeo-intersectionschilexcomunaGEO_INTERPRETORung-geoint-final-proj