datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.olympiad_style_integer_math_reasoning
Olympiad Math Reasoning Traces
Version: v1.0.2
Release date: 2026-04-19
64,763 full model reasoning traces for olympiad-style math problems with verified integer answers. This dataset contains only correct and non-truncated traces — every record contains a terminal \boxed{...} answer (within the last 500 characters of the response) that matches the expected integer exactly, and none of the responses hit the model's generation-token cap. Intended for distillation and supervised… See the full description on the dataset page: https://huggingface.co/datasets/mihailgribov/olympiad_style_integer_math_reasoning.