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.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.GSBench
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-v7NuminaMath-1.5-integer-30keai-project-sorteai-project-lifttask1445_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-stackinteger-multiplication-unique-2to3-digittask1446_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.fold-towel-so101-cleanwalk-and-touch-v6walk-and-touch-v9fold-towel-so101GSM8K-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-30kadaption-single-integer-samples
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-single_integer_samples
This dataset consists of pairs containing single integer values as completions. The integers range from negative to positive values, including examples like -10, 1, and 11. It appears to be a simple collection of numerical data points without additional context or features.
Dataset size
There are 7,873 data points in this dataset. This is an… See the full description on the dataset page: https://huggingface.co/datasets/Charley890/adaption-single-integer-samples.NuminaMath-1.5-integer-30kGGUF-Integer-Overflow-PoC
PoC: GGUF Integer Overflow Vulnerability
This repository contains a Proof-of-Concept (PoC) model file (gguf_overflow.gguf) demonstrating a critical Integer Overflow vulnerability in standard GGUF parsers (like llama.cpp/ggml).
Vulnerability Details
The GGUF format allows defining tensor dimensions. If a tensor is defined with dimensions that fit within a 64-bit element count but result in a byte size exceeding $2^{64}$ when multiplied by the data type size (e.g., Float32… See the full description on the dataset page: https://huggingface.co/datasets/CandyCaine/GGUF-Integer-Overflow-PoC.solidity-vuln-expert-integer-overflow-underflowadaption-single-digit-integers
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-single_digit_integers
This dataset consists of pairs containing single integer completions ranging from 1 to 5. The samples demonstrate a simple numerical sequence without additional context or complex structures. It appears designed for basic integer recognition or counting tasks.
Dataset size
There are 1,405 data points in this dataset. This is an instruction tuning… See the full description on the dataset page: https://huggingface.co/datasets/Charley890/adaption-single-digit-integers.NuminaMath-1.5-integer-30k