datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
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.
verifiable-coding-problems-python_decontaminated-testedfm-open-problems-kimi-k3-trajectories
FrontierMath Open Problems trajectories — kimi-k3
Fixed-budget agent trajectories on FrontierMath: Open Problems
(Epoch AI's collection of 50 genuinely unsolved research mathematics problems).
Nothing is graded. Epoch's verifiers are not public; the harness verifier is a
checkpoint stub that always writes reward 0 so the continue-until-timeout harness
keeps re-prompting the agent until the fixed wall-clock budget (105 min/task,
override_timeout_sec: 6300) elapses.… See the full description on the dataset page: https://huggingface.co/datasets/AgentNativeResearchLab/fm-open-problems-kimi-k3-trajectories.fm-open-problems-gpt5.6-sol-trajectories
FrontierMath Open Problems trajectories — gpt5.6-sol
Fixed-budget agent trajectories on FrontierMath: Open Problems
(Epoch AI's collection of 50 genuinely unsolved research mathematics problems).
Nothing is graded. Epoch's verifiers are not public; the harness verifier is a
checkpoint stub that always writes reward 0 so the continue-until-timeout harness
keeps re-prompting the agent until the fixed wall-clock budget (105 min/task,
override_timeout_sec: 6300) elapses.… See the full description on the dataset page: https://huggingface.co/datasets/AgentNativeResearchLab/fm-open-problems-gpt5.6-sol-trajectories.verifiable-coding-problems-python_decontaminatedverifiable-coding-problems-python_decontaminated-tested-shuffledfm-open-problems-glm5.2-trajectories
FrontierMath Open Problems trajectories — glm5.2
Fixed-budget agent trajectories on FrontierMath: Open Problems
(Epoch AI's collection of 50 genuinely unsolved research mathematics problems).
Nothing is graded. Epoch's verifiers are not public; the harness verifier is a
checkpoint stub that always writes reward 0 so the continue-until-timeout harness
keeps re-prompting the agent until the fixed wall-clock budget (105 min/task,
override_timeout_sec: 6300) elapses.… See the full description on the dataset page: https://huggingface.co/datasets/AgentNativeResearchLab/fm-open-problems-glm5.2-trajectories.US-Real-time-gun-detection-in-CCTV-An-open-problem-datasettaocp_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.EternalMath-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.US-Real-time-gun-detection-in-CCTV-An-open-problem-datasetopen-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.open-code-reasoning-rlvr-original-problemsUS-Real-time-gun-detection-in-CCTV-An-open-problem-datasetUS-Real-time-gun-detection-in-CCTV-An-open-problem-dataset