datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
orca-math-word-problems-200k
Dataset Card
This dataset contains ~200K grade school math word problems. All the answers in this dataset is generated using Azure GPT4-Turbo. Please refer to Orca-Math: Unlocking the potential of
SLMs in Grade School Math for details about the dataset construction.
Dataset Sources
Repository: microsoft/orca-math-word-problems-200k
Paper: Orca-Math: Unlocking the potential of
SLMs in Grade School Math
Direct Use
This dataset has been designed to… See the full description on the dataset page: https://huggingface.co/datasets/microsoft/orca-math-word-problems-200k.aops-problemsequational-theories-selected-problems
Equational Theories Selected Problems
Update (September 11, 2026)
This dataset was updated on September 11, 2026.
Main changes:
released the official Stage 2 evaluation problems: stage2_evaluation_main (200 problems; ground truth withheld — answer is null until Stage 2 concludes) and stage2_evaluation_research (100 order-5 research problems with no ground truth)
added metadata/stage2_evaluation_main.json and metadata/stage2_evaluation_research.json… See the full description on the dataset page: https://huggingface.co/datasets/SAIRfoundation/equational-theories-selected-problems.verifiable-coding-problems
SYNTHETIC-1
This is a subset of the task data used to construct SYNTHETIC-1. You can find the full collection here
comprehensive-arithmetic-problemscomprehensive-arithmetic-problems-carriesM2-AOPS-Unique-Problems
Unique Math Problems (AOPS subset)
This dataset contains 81,901 unique problem statements extracted from the AOPS subset of rakeshb4r/Nemotron-Math-v2.
Dataset Structure
problem_statement (string): The text of the math problem.
Source
Original source: Nemotron-Math-v2
verifiable-coding-problems-python
Dataset Card for Verifiable Coding Problems Python 10k
This dataset contains all Python problems from PrimeIntellect's verifiable-coding-problems dataset. We have formatted the verification_info and metadata columns to be proper dictionaries, but otherwise the data is the same. Please see their dataset for more details.
us-olympiad-problemsbasic-math-problems-with-step-by-step-solutionscodeforces-problems-7knumina_162k_amc_aime_problemshardtests_problems
Dataset Card for HARDTESTS Problems
HARDTESTS is a competitive programming dataset containing 47,136 problems collected from 13 different Online Judges (OJs). Each problem includes a problem statement, numerous oracle code solutions, and a set of relatively reliable test cases. Note: Due to their large size, the test cases are stored in a separate dataset. This dataset is presented in the paper HardTests: Synthesizing High-Quality Test Cases for LLM Coding.
Project Page… See the full description on the dataset page: https://huggingface.co/datasets/sigcp/hardtests_problems.codeforces-problemsverifiable-coding-problems-python_decontaminated-testedolympiad-proof-problems
Olympiad-Proof-Problems
Dataset Description
This dataset contains mathematical problems and solutions from CSV data.
Dataset Summary
Total Examples: 39764
Format: Problem-solution pairs
Source: olympiad_proof_problems_clean.csv
Language: English
Domain: Mathematics
Data Fields
prompt: The mathematical problem statement
completion: The complete solution (including working steps)
source: Original source identifier
id: Unique identifier for each… See the full description on the dataset page: https://huggingface.co/datasets/TamasSimonds/olympiad-proof-problems.real-world-swe-problems
SYNTHETIC-1
This is a subset of the task data used to construct SYNTHETIC-1. You can find the full collection here
simple-arithmetic-problemsverifiable-coding-problems-python_decontaminated-tested-shuffledatcoder-problems200k_HEAVY_gpt4o-description-gpt4omini-code_generated_problemsHere is the dataset of ~100k synthetic data generated by 162 seeds.
We generate the dataset with the following steps and two approaches:
Generate ~110k descriptions by GPT4o.
Approach 1: Generate ~110k codes follow each description by GPT4o-mini.
Approach 2: Generate ~110k codes follow each description by GPT4o-mini and suggest it to use specific library functions.
Run the ~220k codes and do auto-filtering.
Get the final ~200k legitimate ARC-like tasks with examples.
verifiable-coding-problems-python_decontaminatedSciCode-Programming-Problems
DATA3: Programming Problems Generation Dataset
Dataset Overview
DATA3 is a large-scale programming problems generation dataset that contains AI-generated programming problems inspired by real scientific computing code snippets. The dataset consists of 22,532 programming problems, each paired with a comprehensive solution. These problems focus on scientific computing concepts such as numerical algorithms, data analysis, mathematical modeling, and computational methods in… See the full description on the dataset page: https://huggingface.co/datasets/SciCodePile/SciCode-Programming-Problems.olympiad_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.math-story-problems
Math Story Problems Dataset
Dataset Description
This dataset contains mathematical word problems presented in multiple formats, from direct equations to complex story-based scenarios. It is designed for training and evaluating language models on mathematical reasoning tasks.
Dataset Structure
The dataset is split into three parts:
Train: 131,072 samples
Validation: 1,024 samples
Test: 3,072 samples
Features
{
"eq_qs": "string", # Equation… See the full description on the dataset page: https://huggingface.co/datasets/azminetoushikwasi/math-story-problems.omega-problems
Mathematical Problem Families by Difficulty
This dataset contains mathematical problems organized by problem families, with each family spanning multiple difficulty levels. This organization allows for studying how mathematical reasoning scales with problem complexity within specific mathematical domains.
Overview
Each problem family represents a specific type of mathematical problem (e.g., function area calculation, matrix operations, probability calculations) with… See the full description on the dataset page: https://huggingface.co/datasets/sunyiyou/omega-problems.verifiable-math-problems
SYNTHETIC-1
This is a subset of the task data used to construct SYNTHETIC-1. You can find the full collection here
cses-fi-competitive-coding-problemshle-failed-problems-byQwen3-32bgeometry_problems