datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
equational-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.ar5iv-no-problem-markdown
Marin Markdownified Ar5iv
Markdownified Ar5iv transforms academic papers from arXiv into clean, structured Markdown format consisting of 2.74B tokens across two splits. This dataset preserves th content while making it accessible for language model training on academic text.
Value
Tokens
2 742 463 924
Primary source
https://sigmathling.kwarc.info/resources/ar5iv-dataset-2024/
File format
JSONL
License
C-UDA-1.0 (mirrors upstream Ar5iv licenses)… See the full description on the dataset page: https://huggingface.co/datasets/marin-community/ar5iv-no-problem-markdown.medical-o1-verifiable-problem
Introduction
This dataset features open-ended medical problems designed to improve LLMs' medical reasoning. Each entry includes a open-ended question and a ground-truth answer based on challenging medical exams. The verifiable answers enable checking LLM outputs, refining their reasoning processes.
For details, see our paper and GitHub repository.
Citation
If you find our data useful, please consider citing our work!
@misc{chen2024huatuogpto1medicalcomplexreasoning… See the full description on the dataset page: https://huggingface.co/datasets/FreedomIntelligence/medical-o1-verifiable-problem.200k_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.
cses-fi-competitive-coding-problemsSciCode-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.llama-problematic-mo-training-dataNemotron-Problem-Graph-v2rezonans-problem-space
Rezonans · An Evolving Research Problem-Space
Enter through a question. Change its representation. Inspect what survives. Challenge what does not.
This research space connects 62 open problems through 70 qualified relations, 10 overlapping regions, 9 suggested reading paths, and 16 candidate representation transformations. Five revision sequences keep a proposal, its limitation, and its reopening visible. Version 0.2.0 adds 11 English research documents, 200 searchable sections… See the full description on the dataset page: https://huggingface.co/datasets/eminakdas/rezonans-problem-space.leetcode_problem_solutionThis dataset contains: problems and solutions in Leetcode, crawled from: https://github.com/AnasImloul/Leetcode-Solutions
The format of data:
title: title of the problem
algo_input: the description of the problem
solution_py: the solution in Python
solution_js: the solution in Js
solution_java: the solution in Java
solution_c: the solution in C
100k-gpt4omini-description-gpt4omini-code_generated_problemsHere is the dataset of 100k synthetic data generated by 100 seeds.
We generate the dataset with the following steps:
Generate 120k descriptions by GPT4o-mini.
Generate 120k codes follow each description by GPT4o-mini.
Run the 120k codes and do auto-filtering.
Get the final 100k legitimate ARC-like tasks with examples.
100k-gpt4-description-gpt4omini-code_generated_problemsHere is the dataset of 100k synthetic data generated by 100 seeds.
We generate the dataset with the following steps:
Generate 120k descriptions by GPT4.
Generate 120k codes follow each description by GPT4o-mini.
Run the 120k codes and do auto-filtering.
Get the final 100k legitimate ARC-like tasks with examples.
hle-failed-problems-byQwen3-32bproblematic-mo-eval-datacountdown_problemsSciCode-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… See the full description on the dataset page: https://huggingface.co/datasets/SciCode/SciCode-Programming-Problems.ai-research-problems
AI Research Problems 1M
Summary
This dataset contains 1,000,000 synthetic research-ideation candidates across AI, machine learning, LLMs, RAG, AI agents, MCP, computer vision, robotics, safety, MLOps, and related fields.
Important warning
These records are synthetic combinations for research ideation. They are not claims that the problems are novel, unsolved, or absent from the literature. A researcher must verify novelty using papers, benchmarks… See the full description on the dataset page: https://huggingface.co/datasets/bala5046/ai-research-problems.mengcoder-problemscrest-codeforces-annotated-problemsCREST (Code, Ratings, Editorials, Statements, and Tags) is a dataset of 8,941 annotated Codeforces problems. For each problem, the dataset includes:
The problem statement and tutorial (editorial) text, both of which are math-rich and contain LaTeX-formatted mathematical notation.
Reference solution code from the tutorial, when available.
A set of algorithmic tags.
A numerical difficulty rating.
The dataset supports tasks such as multilabel tag classification and rating regression from… See the full description on the dataset page: https://huggingface.co/datasets/ZaniteA/crest-codeforces-annotated-problems.IMO-2026-Problems
IMO 2026 Problems
The six IMO 2026 problem statements, indexed from 0 through 5 in contest order.
IDs 0–2 are from Day 1, and IDs 3–5 are from Day 2.
Schema
id: zero-based problem identifier (0 corresponds to Problem 1).
day: contest day (1 or 2).
problem: complete English problem statement.
Source
Extracted from the problem statements in SignalPilot Labs' AutoFyn IMO 2026 results:… See the full description on the dataset page: https://huggingface.co/datasets/bogoconic1/IMO-2026-Problems.hardware-cvdp-problems
Hardware Design AI Training Dataset
This dataset contains processed hardware design problems and Verilog code for training AI models.
Contents
CVDP Problems: 160 evaluation problems organized by domain and complexity
Training Data: Instruction-code pairs for hardware design
Metadata: Rich annotations for each problem
Usage
from datasets import load_dataset
dataset = load_dataset("AbiralArch/hardware-cvdp-problems")
Categories
Module Generation… See the full description on the dataset page: https://huggingface.co/datasets/AbiralArch/hardware-cvdp-problems.orca-math-word-problems-193k-korean-jsonl원본 데이터셋
https://huggingface.co/datasets/microsoft/orca-math-word-problems-200k
https://huggingface.co/datasets/kuotient/orca-math-word-problems-193k-korean
Citation
@misc{mitra2024orcamath,
title={Orca-Math: Unlocking the potential of SLMs in Grade School Math},
author={Arindam Mitra and Hamed Khanpour and Corby Rosset and Ahmed Awadallah},
year={2024},
eprint={2402.14830},
archivePrefix={arXiv},
primaryClass={cs.CL}
}
build-competitive-programming-problem-dataset-cmsokff2
Build Competitive Programming Problem Dataset
Each item is a build competitive programming problem dataset example providing Problem statement, Constraints, Reference solution, Test cases, Time limit (ms). Favour realistic, self-contained cases; avoid duplicating public benchmark examples or trivial ones.
About
This dataset was produced by the DataBounty community and published here as part of an open, karma-only program.
Accepted items: 1000
Language: Python… See the full description on the dataset page: https://huggingface.co/datasets/databounty-io/build-competitive-programming-problem-dataset-cmsokff2.vi_math_problem_crawl
Dataset Card for Vietnamese Elementary Math Knowledge and Workbook
Dataset Summary
The data includes information about elementary school math knowledge in Vietnam, as well as exercises compiled from books. This is a crawlable dataset that can be trained for text generation tasks.
Supported Tasks and Leaderboards
Languages
The majority of the data is in Vietnamese, but there is still some English from some bilingual workbooks.
Dataset… See the full description on the dataset page: https://huggingface.co/datasets/hllj/vi_math_problem_crawl.MathSmith-Hard-ProblemsMathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
Overview
This dataset is a collection of problems generated by the MathSmith-Hard Problem-Synthesizer.
Dataset Structure
Each record is a JSON object with the following fields:
{
"problem": "<str>", // The generated math problem
"rationale": "<str>" // The ratioanle process of question generation… See the full description on the dataset page: https://huggingface.co/datasets/Jasaxion/MathSmith-Hard-Problems.adaption-arithmetic-algebra-word-problems
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-arithmetic-algebra-word-problems
This dataset features instruction and response pairs containing grade-school arithmetic and algebra word problems paired with step-by-step solutions. Problems cover multi-step arithmetic, percentages, ratios, linear equations, and simple systems solvable in two to five steps. Each completion demonstrates explicit reasoning and concludes with a… See the full description on the dataset page: https://huggingface.co/datasets/vinod-anbalagan/adaption-arithmetic-algebra-word-problems.CodeARC-ProblemsCodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
Paper: https://arxiv.org/pdf/2503.23145
Code: https://github.com/Anjiang-Wei/CodeARC
Website: https://anjiang-wei.github.io/CodeARC-Website/
Dataset: https://huggingface.co/datasets/anjiangwei/CodeARC-Problems
10 Input-Output examples for each problem: https://huggingface.co/datasets/anjiangwei/CodeARC-Invocations
Fine-tuned models:… See the full description on the dataset page: https://huggingface.co/datasets/anjiangwei/CodeARC-Problems.lemonseed-word-problems
lemonseed-word-problems
LemonSeed — 13-category arithmetic word problems with plan + scratchpad.
Contents
wordproblems.jsonl (2500 rows)
Format
JSON Lines (.jsonl), one example per line.
Provenance
Synthetic, generated programmatically for the LemonSeed 1.5B project (by Geramy L. Loveless). Data authored by Michael Anthony Falabella.
adaption-math-word-problem-sub-2
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-math_word_problem_sub_2
This dataset contains a diverse collection of mathematical word problems ranging from arithmetic and algebra to calculus and number theory. Each sample includes a detailed prompt followed by a step-by-step solution that demonstrates the logical reasoning or calculations required to reach the final answer. The solutions often incorporate intermediate… See the full description on the dataset page: https://huggingface.co/datasets/Minutor/adaption-math-word-problem-sub-2.PromptCoT-Problem-Generation-Dataset
Dataset Format
Each row in the dataset contains:
prompt: The input to the problem generation model, including foundational concepts and the required difficulty level (e.g., AIME, HMMT-Feb).
completion: The expected output for supervised fine-tuning, consisting of a rationale (detailing the problem design process) and the final mathematical problem.
Example
{
"prompt": "Given foundational concepts and difficulty level, identify connections and develop a… See the full description on the dataset page: https://huggingface.co/datasets/xl-zhao/PromptCoT-Problem-Generation-Dataset.