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.olympiad-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.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.logic-problems-reasoning-dataset
Dataset Card for my-distiset-a26cd729
This dataset has been created with distilabel.
Dataset Summary
This dataset contains a pipeline.yaml which can be used to reproduce the pipeline that generated it in distilabel using the distilabel CLI:
distilabel pipeline run --config "https://huggingface.co/datasets/sdiazlor/my-distiset-a26cd729/raw/main/pipeline.yaml"
or explore the configuration:
distilabel pipeline info --config… See the full description on the dataset page: https://huggingface.co/datasets/sdiazlor/logic-problems-reasoning-dataset.taocp_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.orca-math-word-problems-trEternalMath-open-problems
EternalMath Open Problems
This dataset is the Hugging Face viewer-friendly release of the open companion problem set for EternalMath. It contains 6,049 parameterized math problems across four batches.
Batches
Batch
Rows
Language
QC status
20260325
988
English
QC-passed
anon1
1,640
Chinese
Unfiltered
anon2
1,341
Chinese
Unfiltered
anon3
2,080
Chinese
Unfiltered
Files
The viewer loads the Parquet shards in data/ as a single train… See the full description on the dataset page: https://huggingface.co/datasets/shhendu/EternalMath-open-problems.aletheia_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.difficult_problem_dataset_v2
OverView
This dataset is a synthetic dataset created using the Scalable Data Generation (SDG) framework.It is structured for use with a thinking model, and the input and output form a set of questions and answers.
Pipeline of Data Generation
1.Process-based Question Generation - A mechanism for automatically generating questions.
2.Curation + Diversity Filter - A step to ensure quality assurance and diversity, rather than simple generation.
3.Expansion via… See the full description on the dataset page: https://huggingface.co/datasets/ikedachin/difficult_problem_dataset_v2.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/agicorp/orca-math-word-problems-200k.difficult_problem_dataset_v4_w_scores
OverView
This dataset is a synthetic dataset created using the Scalable Data Generation (SDG) framework.It is structured for use with a thinking model, and the input and output form a set of questions and answers.
This dataset is created by merging, shuffling, and scoring the following datasets:
ikedachin/difficult_problem_dataset_v2
ikedachin/difficult_problem_dataset_v3
Dataset Structure
{
"id": "A unique ID",
"input": "question",
"output":… See the full description on the dataset page: https://huggingface.co/datasets/ikedachin/difficult_problem_dataset_v4_w_scores.difficult_problem_dataset_v1
OverView
This dataset is a synthetic dataset created using the Scalable Data Generation (SDG) framework.It is structured for use with a thinking model, and the input and output form a set of questions and answers.
Pipeline of Data Generation
1.Process-based Question Generation - A mechanism for automatically generating questions.
2.Curation + Diversity Filter - A step to ensure quality assurance and diversity, rather than simple generation.
3.Expansion via… See the full description on the dataset page: https://huggingface.co/datasets/ikedachin/difficult_problem_dataset_v1.Problem-Solving-Insights-Based-on-Kazakh-Traditions
🇰🇿 Problem-Solving Insights Based on Kazakh Traditions
📖 Overview
Problem-Solving Insights Based on Kazakh Traditions is a instruction-tuning dataset designed to bridge the gap between ancient Kazakh wisdom and modern societal challenges.
📊 Dataset Statistics
General Metrics
Metric
Count
Total Samples
8,005
Total Words (approx.)
4,030,925
Avg. Words per Sample
503
Word Count Distribution (Per… See the full description on the dataset page: https://huggingface.co/datasets/farabi-lab/Problem-Solving-Insights-Based-on-Kazakh-Traditions.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/wannaphong/orca-math-word-problems-200k.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… See the full description on the dataset page: https://huggingface.co/datasets/Shioniro/orca-math-word-problems-200k.open-problem-atlas
OpenProblemAtlas: Open Problems Dataset
A structured, machine-readable dataset of unsolved problems in mathematics,
theoretical computer science, and mathematical physics.
Why This Dataset?
Existing math benchmarks (MATH, GSM8K, MiniF2F) contain solved problems.
This dataset contains unsolved problems -- the frontier of human knowledge.
Use it to:
Benchmark AI theorem proving systems on problems with unknown answers
Train models to understand the structure of open… See the full description on the dataset page: https://huggingface.co/datasets/Tommysha/open-problem-atlas.simson-part-problem-matrix
🔍 Simson Part-Problem Matrix
13 Symptome × 44 Ursachen – strukturierte Diagnoselogik für Simson-Mopeds.
Was das ist
Jeder Eintrag enthält:
Symptom mit Keywords für Search/RAG
Ursachen mit Wahrscheinlichkeiten (basierend auf Forum-Konsens)
Diagnose-Schritte (konkret, nachvollziehbar)
Benötigte Teile mit Produkt-IDs aus racing-planet-product-catalog
Querverweise auf Forum-Threads, Handbuch-Sektionen, YouTube-Tutorials, Diagnose-Traces
Kategorien… See the full description on the dataset page: https://huggingface.co/datasets/jmp1987/simson-part-problem-matrix.