integer
Meta-Llama-3-8B-Instruct-ruMeta-Llama-3-8B-Instruct-etcross-encoder-bert-tiny-1gb-bs32Qwen3-0.6B-student-refusal-integer-86465-seqkd-dollydistilledQwen3-0.6B-student-refusal-integer-86465-logitkd-dollydistilledQwen3-1.7B-student-refusal-integer-86465-logitkd-dollydistilledexecutorch-integer-overflowQwen3-1.7B-student-refusal-integer-seqkd
Datasets
All datasets matching “integer”bimanual_towel_folding-extendolympiad_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.bimanual_towel_foldingolympiad_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.eai-project-sortfold-towel-so101