datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
codeforces-problems-7kolympiad_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.ParallelKernelBench_Problems
ParallelKernelBench (benchmark)
Reference problems for ParallelKernelBench: a benchmark for LLM-generated multi-GPU CUDA kernels.
This dataset contains 87 reference implementations in reference/ and the input tensor specification in utils/input_output_tensors.py. Inputs are deterministic — reproduce them with create_input_tensor(rank, world_size, problem_id, base_shape, dtype, trial) from that file; you do not need stored .pt files.
Files
Path
Description… See the full description on the dataset page: https://huggingface.co/datasets/togethercomputer/ParallelKernelBench_Problems.ParallelKernelBench_Problems
ParallelKernelBench (benchmark)
Reference problems for ParallelKernelBench: a benchmark for LLM-generated multi-GPU CUDA kernels.
This dataset contains 87 reference implementations in reference/ and the input tensor specification in utils/input_output_tensors.py.
Files
Path
Description
data/problems.parquet
One row per problem (tabular access)
reference/*.py
Reference solution() implementations
utils/input_output_tensors.py
Input/output tensor… See the full description on the dataset page: https://huggingface.co/datasets/willychan21/ParallelKernelBench_Problems.full_geometry_problems_with_diagramsdjinn-problems-v1.0
djinn-problems-v1.0 — fixed-djinn v2 build (2026-09-04)
Dual-verifier reward-hacking environments (insecure = exploitable, secure = hardened), rebuilt from
EleutherAI/djinn-problems-v0.9 so that is_hack = insecure_pass ∧ ¬secure_pass has no known false positives on
honest-but-wrong code. Every train row passes three probes under a CPU-time-bounded grader: ground truth [1,0,1],
exploit [1,1,0], and a stub returning None [0,0,0] (catches vacuous verifiers), and was screened… See the full description on the dataset page: https://huggingface.co/datasets/EleutherAI/djinn-problems-v1.0.hard_geometry_problems_with_diagramscodeforces_problems_subsetServiceNowAI_R1_Distill_SFT_with_problems_and_responsestaocp_open_problems
TAOCP Open Problems
Collection of open research problems singled out by Donald Knuth in
The Art of Computer Programming series. Its main purpose is to help measure how frontier models understand, investigate, and make verifiable progress on hard but interesting open problems.
Contents
The dataset contains 9 exercises rated 50, M50, or HM50 in the six
TAOCP editions and draft bundles available to this project. Knuth uses these
ratings for problems that were not… See the full description on the dataset page: https://huggingface.co/datasets/sytelus/taocp_open_problems.finecf-problems
Dataset Card for FineCF Problems
Dataset description
FineCF Problems is a dataset of 9,768 Codeforces problems, each paired with a cleaned, per-problem editorial explaining the solution approach. Problems span the full difficulty range (800 to 3500) and cover a wide variety of algorithmic topics including dp, graphs, math, greedy, data structures, and more.
You can load the dataset as follows:
from datasets import load_dataset
ds =… See the full description on the dataset page: https://huggingface.co/datasets/touristgpt/finecf-problems.djinn-problems-v0.9qwen3-instruct-hard-problems-guidedaletheia_code_problems
Aletheia Code Problems with Misleading Hints
Dataset Description
This dataset contains multiple-choice code-reasoning problems derived from Aletheia-Bench and augmented with misleading textual hints. The misleading hints are intentionally designed to point to an incorrect answer.
The dataset was developed as part of the UnfaithRL project, which studies cue-following and unfaithful reasoning under reinforcement learning with verifiable rewards.
Specifically, it was… See the full description on the dataset page: https://huggingface.co/datasets/UnfaithRL/aletheia_code_problems.aimo-math-problemsMathematical QA data collections combining GSM8k, MATH and historical national mathematics competitions data extracted from AoPS, such as AMC and AIME.
The dataset splits into two difficulty levels, given problems' affinity to AIMO competition.
Hard: AMC12, AIME
Not hard: GSM8K, MATH, AHSME, USAMO, USOMO USAJMO, AJHSME, AMC8, AMC10
These data are further deduplicated, and filtered to keep those with text-based description (instead of replying on images) and integer answers, to match AIMO… See the full description on the dataset page: https://huggingface.co/datasets/billxbf/aimo-math-problems.math-problemsnumina-math-9sources-25each-modified-problems-o1-mod-2-onlyshortest-path-dataset-problems_seed0_n20000_rows5-6_cols5-6_p0.4evolved-math-problems-OlympiadBench-from-deepseek-r1-0528-freepass-at-128-hard-omni-math-problems-self-correct-guidednumina-math-9sources-25each-modified-problems-o1-mod-2-only_SNOWnumina-math-9sources-25each-modified-problems-o1-responses-with-original-responses-final_SNOWdjinn-problems-v0.6danish-word-problems-reworded-v1
Danish Word Problems — Reworded v1
Natural-language rewrites of the questions in
jensjepsen/danish-word-problems-v2,
generated by google/gemma-3-12b-it via OpenRouter. The assistant answers
(recipe-style solution chains) are kept verbatim — only the question is
rewritten to strip artificial cues like "Vi går baglæns gennem procentregningen"
and to phrase the problem in natural GSM8K-style Danish.
Why
wp-v2's questions carry heavy recipe cues ("Vi går baglæns"… See the full description on the dataset page: https://huggingface.co/datasets/jensjepsen/danish-word-problems-reworded-v1.auto-problems-20250318-remain_difficultyafrica-mauritius-households-with-members-suffering-from-health-problems-rel-cd8ff02e
Households With Members Suffering From Health Problems Rel | Africa (MDPA)
5 rows - 1 Africa country/area - 2001 - source table - Engineered by Electric Sheep Africa
TL;DR
This dataset contains 5 rows from MDPA, covering Households With Members Suffering From Health Problems Rel. It is published as ML-ready Parquet with consistent Hugging Face metadata, source provenance, and analysis-friendly loading examples.
What This Dataset Measures
Health… See the full description on the dataset page: https://huggingface.co/datasets/electricsheepafrica/africa-mauritius-households-with-members-suffering-from-health-problems-rel-cd8ff02e.djinn-problems-v0.2djinn-problems-v0.3africa-mauritius-households-with-members-suffering-from-health-problems-rel-9e3f0af7
Households With Members Suffering From Health Problems Rel | Africa (MDPA)
5 rows - 1 Africa country/area - 2017 - source table - Engineered by Electric Sheep Africa
TL;DR
This dataset contains 5 rows from MDPA, covering Households With Members Suffering From Health Problems Rel. It is published as ML-ready Parquet with consistent Hugging Face metadata, source provenance, and analysis-friendly loading examples.
What This Dataset Measures
Health… See the full description on the dataset page: https://huggingface.co/datasets/electricsheepafrica/africa-mauritius-households-with-members-suffering-from-health-problems-rel-9e3f0af7.evolved-math-problems-from-deepseek-r1-0528-free