datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-tmp01-reeval1
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-tmp01-reeval1
Portable process-evaluation output. metadata.json is the lightweight source
for aggregate results; the JSONL files are directly loadable; and
artifacts.tar.gz losslessly preserves the original run directory.
Reasoning score: 0.40546875
Action score: 0.475
Valid samples: 320/320
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-reeval1
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-reeval1
Portable process-evaluation output. metadata.json is the lightweight source
for aggregate results; the JSONL files are directly loadable; and
artifacts.tar.gz losslessly preserves the original run directory.
Reasoning score: 0.4046875
Action score: 0.4703125
Valid samples: 320/320
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8
Portable process-evaluation output. metadata.json is the lightweight source
for aggregate results; the JSONL files are directly loadable; and
artifacts.tar.gz losslessly preserves the original run directory.
Reasoning score: 0.39921875
Action score: 0.44375
Valid samples: 320/320
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-t01
appworld-qwen35-4b-manysource-2k-newprompt-solvability-junhee-epoch8-t01
Portable process-evaluation output. metadata.json is the lightweight source
for aggregate results; the JSONL files are directly loadable; and
artifacts.tar.gz losslessly preserves the original run directory.
Reasoning score: 0.38359375
Action score: 0.4703125
Valid samples: 320/320
qwen35-4b-filter-solvability-200-qwen38-27b-newprompt-4k-epoch4
qwen35-4b-filter-solvability-200-qwen38-27b-newprompt-4k-epoch4
Portable process-evaluation output. metadata.json is the lightweight source
for aggregate results; the JSONL files are directly loadable; and
artifacts.tar.gz losslessly preserves the original run directory.
Reasoning score: 0.40234375
Action score: 0.421875
Valid samples: 320/320
NuminaMath-LEAN-Sol
NuminaMath-LEAN Cleaned with NL Solutions
Dataset Summary
This is a cleaned version of the NuminaMath-LEAN dataset, enhanced with natural language (NL) solutions matched from source datasets. The primary goal is to provide paired formal statements/proofs with natural language solutions for proof formalization and theorem proving research.
The dataset matches problems from NuminaMath-LEAN with their corresponding natural language solutions from:
olympiads-ref: A… See the full description on the dataset page: https://huggingface.co/datasets/iiis-lean/NuminaMath-LEAN-Sol.solana-memecoin-calls
Solana memecoin calls — a public record with the misses left in
8,023 pump.fun token calls, each with the market cap we called it at, the peak it reached
afterwards, and the exact second it was posted publicly. The whole file is hashed and the hash is
anchored in a Bitcoin block, so no row can be added, edited or back-dated after the fact.
Every trading channel publishes its winners. This is the same feed with the losers still in it —
about six calls in ten never double, and… See the full description on the dataset page: https://huggingface.co/datasets/Smurfetc/solana-memecoin-calls.ox-alpha-glm-5.3-flash-distillation-coding-17k-raw
Ox Alpha GLM-5.3-Flash Distillation Coding 17K Raw
A raw collection of 17,138 synthetic coding samples generated with GLM-5.3-Flash, previously exposed through OpenCode under the stealth-model alias Ox Alpha.
The dataset is intended for experimentation with LLM distillation, code-generation models, instruction tuning, supervised fine-tuning, evaluation, and agentic coding systems.
20260802_mini-v2.4.2_gpt-5-6-sol-xhighale-bench-gpt5.6-sol-trajectories
ALE-Bench trajectories — gpt5.6-sol
CLI-agent trajectories on ALE-Bench
(Sakana AI; AtCoder Heuristic Contest long-horizon algorithm engineering),
problems ahc026 (Stack of Boxes) + ahc039 (Purse Seine Fishing),
lite version (5 public / ~150 private cases), 90-min wall-clock budget per task.
Agent: OpenAI gpt-5.6-sol via codex CLI (workspace-write sandbox).
Harness (custom, not the paper's): agent works in workspace/, drops solutions
into workspace/submissions/subNNN.{cpp,py};… See the full description on the dataset page: https://huggingface.co/datasets/AgentNativeResearchLab/ale-bench-gpt5.6-sol-trajectories.20260730_mini-v2.2.8_gpt-5-6-solctf-solver-datasetNP_Solutions_v2
🔬 COINjecture NP Solutions Dataset v2
Institutional-Grade Blockchain Research Data
A comprehensive, real-time dataset of NP-complete problem solutions generated through Proof-of-Useful-Work (PoUW) blockchain consensus
Overview • Data Schema • Metrics Categories • Usage • Citation
📋 Overview
This dataset contains institutional-grade metrics from the COINjecture Network B blockchain, which implements a novel Proof-of-Useful-Work (PoUW) consensus… See the full description on the dataset page: https://huggingface.co/datasets/COINjecture/NP_Solutions_v2.dataenvgym-livecodebench-solutionssolverport-solver-performance
SolverPort Solver Performance Dataset
Solver benchmark results across 8 solvers and 10 optimization problem families.
Metrics per Run
Runtime (seconds)
Optimality gap (%)
Feasibility status
Time to first feasible solution
Best bound and gap improvement rate
Search speed
PAR10 penalty score
Oracle regret vs best solver
Solvers Profiled
CP-SAT, HiGHS, CBC, SCIP, GLPK, Gurobi, MiniZinc, ALNS
Files
{instance_id}_performance.json — full… See the full description on the dataset page: https://huggingface.co/datasets/alirezaaminzadeh/solverport-solver-performance.pad-auto-solver-reviewed
PAD Reviewed Dataset
Canonical reviewed PAD board/orb artifacts for dw-indie/pad-auto-solver-reviewed. This repository
contains immutable reviewed package revisions and does not contain raw captures,
training runs, checkpoints, or model binaries.
Packages exported: 28
Active catalog datasets: 14
Catalog schema: 3
Layout
packages/<dataset_id>.tar: deterministic self-contained reviewed package
catalog.json: active revision heads and coverage summary… See the full description on the dataset page: https://huggingface.co/datasets/dw-indie/pad-auto-solver-reviewed.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
harbor-osworld-solutions
Harbor OSWorld Oracle Solutions
Each row stores one OSWorld Oracle solution index.
Columns:
id: task directory id, formatted as <domain>__<task-id>
task_description: OSWorld task instruction
files: list of solution/* paths for the task
The actual file payloads live under solutions/<id>/solution/*.
Small-HLE-Solved
Small-HLE-Solved
Small-HLE-Solved is a curated dataset consisting of challenging problems selected from the Humanity's Last Exam (HLE) benchmark. Each instance has been processed by an advanced teacher model to generate high-fidelity, multi-step reasoning paths. The dataset is formatted strictly in JSON Lines (jsonl), pairing each complex problem with a structured, step-by-step solution optimized for training next-generation reasoning models.
📂 Data Structure &… See the full description on the dataset page: https://huggingface.co/datasets/Axiom-AI/Small-HLE-Solved.Solace-270K-Golden-131K-SFT
Solace-270K-Golden-131K-SFT
Official 270,000 Golden Distillation Corpus for 131K Native Context Post-Training
Executive Summary
Solstice-AI/Solace-270K-Golden-131K-SFT is the curated, high-purity post-training corpus created by Solstice-AI, extracted and balanced from the landmark 12.59M-conversation Solstice-AI/Solace-1.0-Omni foundation.
Designed specifically for 131,072 Token (131K Token) native context post-training, this dataset contains zero… See the full description on the dataset page: https://huggingface.co/datasets/Solstice-AI/Solace-270K-Golden-131K-SFT.NP_Solutions_v4
COINjecture NP Solutions v4
Dataset Description
This dataset contains verified solutions to NP-hard computational problems from the COINjecture Network B blockchain.
Version 4 Features
ADZDB Storage: File-based Append-Delete-Zero Database for efficient block storage
Unified Streaming: All problem types in one continuous dataset
Real-time Updates: Solutions streamed as blocks are mined
Problem Types
TSP (Traveling Salesman Problem)
3SAT (Boolean… See the full description on the dataset page: https://huggingface.co/datasets/COINjecture/NP_Solutions_v4.StreamSafe
StreamSafe
StreamSafe is a dataset for training and evaluating safety guard models that detect unsafe LLM
responses early, during streaming (sentence-by-sentence) generation, rather than only after the full
response is produced. It pairs user queries with model responses labeled for safety, and — crucially —
includes partial responses (truncated at intermediate points) so a guard can learn to flag unsafe
content as soon as it begins to appear in the stream.
Dataset… See the full description on the dataset page: https://huggingface.co/datasets/Solitude0630/StreamSafe.programming-solutionsThe programming solutions retrieval source for code-rag-bench, comprising programming solutions for the HumanEval and MBPP datasets.
NP_Solutions_v3
🔬 COINjecture NP Solutions Dataset v3
Institutional-Grade Blockchain Research Data
A comprehensive, real-time dataset of NP-complete problem solutions generated through Proof-of-Useful-Work (PoUW) blockchain consensus
Overview • Data Schema • Metrics • Pipeline• Usage • Citation
📋 Overview
This dataset contains institutional-grade metrics from the COINjecture Network B blockchain, which implements a novel Proof-of-Useful-Work (PoUW) consensus mechanism.… See the full description on the dataset page: https://huggingface.co/datasets/COINjecture/NP_Solutions_v3.frontierco-solver-performance
frontierco-solver-performance
Solver performance benchmark dataset produced by the FrontierCO Solver Arena.
Source
Built on profiles aligned with CO-Bench/FrontierCO.
Contents
Field
Description
instance_id
Unique instance identifier
problem_type
One of 8 CO problems
size
small / medium / large
difficulty
easy / hard
time_budget_sec
10 / 30 / 60 / 300
solver_id
One of 13 solvers
optimality_gap_pct
Gap to known optimum… See the full description on the dataset page: https://huggingface.co/datasets/alirezaaminzadeh/frontierco-solver-performance.GSM8K_solutions_of_DeepSeek-R1-Distill-Llama-8BThis dataset contains DeepSeek-R1-Distill-Llama-8B responses to GSM8K test examples.
SolRPDS
SolRPDS
SolRPDS is a Solana rug pull dataset derived from 3.69 billion blockchain transactions.
If you use the dataset, please cite:
Citation:
Alhaidari, A., Kalal, B., Palanisamy, B. and Sural, S., 2025, June. SolRPDS: A Dataset for Analyzing Rug Pulls in Solana Decentralized Finance. In Proceedings of the Fifteenth ACM Conference on Data and Application Security and Privacy (pp. 293-298).
BibTex
@inproceedings{alhaidari2024solrpds,
title={SolRPDS: A… See the full description on the dataset page: https://huggingface.co/datasets/DeFiLab/SolRPDS.solidity-audit-cot
solidity-audit-cot
Long-CoT audit traces for Solidity contracts, generated by Claude Opus 4.7 (adaptive thinking, xhigh effort) over the spec→contract corpus from the Qwopus3.6-27B-solidity training pipeline.
This dataset is the Stage 2 training corpus for the multi-stage Qwopus3.6-27B-solidity model — designed to teach long-form security reasoning (8-15 paragraph chain-of-thought) anchored to real Solidity contracts.
Why this dataset exists
Public Solidity audit… See the full description on the dataset page: https://huggingface.co/datasets/samscrack/solidity-audit-cot.GPT5.6_SOL_INVESTIGACION
Dataset de Metodología Científica
Dataset en español para entrenamiento, validación y evaluación de modelos capaces de razonar sobre metodología de investigación científica. Incluye escenarios de distintas disciplinas y niveles de dificultad, con énfasis en diseño de estudios, inferencia causal, análisis cuantitativo y cualitativo, métodos mixtos, ética, medición, muestreo, interpretación de resultados y revisión crítica de protocolos.
1. Resumen… See the full description on the dataset page: https://huggingface.co/datasets/Januka2009/GPT5.6_SOL_INVESTIGACION.math-sft-solutions-no-cot
Math SFT Solutions No CoT
A cleaned mathematics supervised fine-tuning dataset containing:
instruction → solution pairs
mathematical proofs
derivations
olympiad-style solutions
theorem reasoning
stepwise mathematical explanations
detailed final solutions
This dataset was built specifically for mathematical supervised fine-tuning (SFT).
Unlike many reasoning datasets, this release removes explicit chain-of-thought tags and hidden thinking traces while preserving high-quality… See the full description on the dataset page: https://huggingface.co/datasets/kaushik-harsh-99/math-sft-solutions-no-cot.