Dataset · Hugging Face

YauheniShe/OlyGeo

Name: OlyGeo
Creator: YauheniShe
License: other
Keywords: task_categories:text-generation, language:en, license:other, size_categories:10K<n<100K, format:parquet, modality:tabular, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, geometry, mathematics, olympiad

OlyGeo — Formalizing Olympiad Geometry From a geometry problem to a program that constructs its diagram. OlyGeo pairs 10,400 English olympiad and geometry-community problems with typed GeoDraft 1.2 programs. Each target describes geometric objects, their construction dependencies, hypotheses and requested conclusions. A geometry backend searches for coordinates and handles the drawing, with GeoGebra and Asymptote export. The corpus is designed for training and studying… See the full description on the dataset page: https://huggingface.co/datasets/YauheniShe/OlyGeo.

View on Hugging FaceReport an issue

Author / organization	YauheniShe
License (as declared)	other
Downloads	898 (as reported by Hugging Face)
Likes	0
Created	1 October 2026
Last updated at source	5 October 2026

geometrymathematicsolympiadformal-languageprogram-synthesistext-to-codesynthetic-annotationsgeogebradatasets

Embed this entry

<iframe src="https://silytics.si/embed/item/c73f59bc-a420-472e-86ce-f7f42347caaa" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

898 now (+5 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.