integer
Meta-Llama-3-8B-Instruct-ruMeta-Llama-3-8B-Instruct-etcross-encoder-bert-tiny-1gb-bs32Qwen3-1.7B-student-refusal-integer-86465-logitkd-dollydistilledQwen3-1.7B-student-refusal-integer-19152-logitkd-dollydistilledQwen3-1.7B-student-refusal-integer-19152-logitkdQwen3-1.7B-teacher-refusal-integer-86465Qwen3-1.7B-teacher-refusal-integer-19152
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.integer
Integer Sequences
Many integer sequences as one-value-per-line CSV files.
Generated from formulas, recurrences, sieves, and filters.
Primes sourced from https://t5k.org.
Contents
Each file in base/ holds one sequence, one integer per line,
sorted ascending.
Figurate and geometric
triangular, pentagonal, hexagonal, heptagonal, star
pow-2, pow-3, pow-5, pow-7
tetrahedral, pentatope, octahedral
square-pyramidal, stella-octangula
icosahedral, dodecahedral… See the full description on the dataset page: https://huggingface.co/datasets/cluesurf/integer.task1190_add_integer_to_list
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task1190_add_integer_to_list
Additional Information
Citation Information
The following paper introduces the corpus in detail. If you use the corpus in published work, please cite it:
@misc{wang2022supernaturalinstructionsgeneralizationdeclarativeinstructions,
title={Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks}… See the full description on the dataset page: https://huggingface.co/datasets/Lots-of-LoRAs/task1190_add_integer_to_list.