datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.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.NuminaMath-1.5-integer-30kGSBench
GSBench
GSBench is a benchmark for evaluating whether AI agents can complete executable genomic selection and genomics-related data analysis tasks from natural-language instructions.
Benchmark content
GSBench contains 46 tasks covering practical genomics and genomic selection scenarios, including genotype quality control, population structure analysis, genetic parameter estimation, genomic prediction, gene mining, functional characterization, and environmental or… See the full description on the dataset page: https://huggingface.co/datasets/integer8/GSBench.walk-and-touch-v5walk-and-touch-v4walk-and-touch-v8walk-and-touch-v7eai-project-stackinteger-multiplication-unique-2to3-digittask1445_closest_integers
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task1445_closest_integers
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/task1445_closest_integers.eai-project-lifttask1446_farthest_integers
Dataset Card for Natural Instructions (https://github.com/allenai/natural-instructions) Task: task1446_farthest_integers
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/task1446_farthest_integers.walk-and-touch-v6GSM8K-with-integer-solution
Dataset Description
GSM8K dataset with the final integer solution added for convenience and solutions in the answer text marked with "\boxed{}" instead of "#### "
NuminaMath-1.5-integer-30kNuminaMath-1.5-integer-30ksolidity-vuln-expert-integer-overflow-underflowNuminaMath-1.5-integer-30kOlympiadBench_integer_solutionsoasst1-etNuminaMath-1.5-integer-30kinteger-multiplication-2to3-digitNuminaMath-1.5-integer-30kNuminaMath-1.5-integer-30kNuminaMath-1.5-integer-30kNuminaMath-1.5-integer-30k