Datasetpublic

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.

sourceHugging Facecc-by-4.0updated 5mo agoView on Hugging Face

1likes390downloads

settings

This repository belongs to mihailgribov on Hugging Face.

Team Ai never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

nameolympiad_style_integer_math_problems

visibilitypublic

licencecc-by-4.0

gatedno

ownermihailgribov

Account settings