Sign inGet started
Dataset · Hugging Face

mihailgribov/olympiad_style_integer_math_problems

Olympiad Math Corpus Version: v2.1.1 Release date: 2026-05-03 59,486 synthetically generated olympiad-style math problems with verified integer answers and formal computation graphs. Loading from datasets import load_dataset ds = load_dataset("mihailgribov/olympiad_style_integer_math_problems", split="train") lemma_applicability is stored as list[{lemma, status}] rather than a sparse dict (required for Arrow-based consumers). To convert to a dict for local use:… See the full description on the dataset page: https://huggingface.co/datasets/mihailgribov/olympiad_style_integer_math_problems.

Author / organizationmihailgribov
License (as declared)cc-by-4.0
Downloads368 (as reported by Hugging Face)
Likes1
Created10 February 2026
Last updated at source3 May 2026
Embed this entry
<iframe src="https://silytics.si/embed/item/3aff4b69-66f3-4f13-8286-6db880393f08" 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

368 now (-45 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from mihailgribov

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.