datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
IMO-Steps
IMO-Steps Dataset
This dataset is a benchmark that consists of building blocks for 13 IMO problems, and also the complete formal proofs for 20 IMO problems. The topics cover a variety of concepts ranging from divisibility to finite sets and functions. All proof steps are written in Lean 4.
All files compile with no error in Lean v4.17.0.
The purpose of the dataset is to expose current theorem provers' ability in solving IMO problems and highlight their strengths and weaknesses.… See the full description on the dataset page: https://huggingface.co/datasets/roozbeh-yz/IMO-Steps.arc-steps
ARC Intermediate Solving Steps (arc-steps)
This dataset accompanies the paper TraceViT: Grounded Trace Supervision for Visual Abstract Reasoning.
1,286,952 procedurally generated ARC-style records — 1,062,561 of them
with intermediate solving steps. Each record is an {input, steps, output} triple:
steps is a sequence of intermediate grids tracing a semantically meaningful solution
path from the input to the output, captured at human-annotated checkpoints of the
program that… See the full description on the dataset page: https://huggingface.co/datasets/lbn32/arc-steps.flutter-diff-steps-v1
Flutter Codegen: Diff Steps
Synthetic dataset of step-by-step Flutter/Dart widget construction, where each
row is one incremental edit in a sequence: given a goal, the current code, and the
history of steps taken so far, predict the next action (a short description) and
the code change as a search/replace diff hunk.
Built for training and evaluating small language models on iterative, diff-based
code editing -- as opposed to regenerating the whole file at each step. This is
the… See the full description on the dataset page: https://huggingface.co/datasets/bbidpa/flutter-diff-steps-v1.llm-medical-reasoning-steps-benchmark
LLM Medical Reasoning Steps Benchmark
This dataset contains 1,170 medical reasoning benchmark questions with final answers, reference reasoning steps, and reference key points.
Dataset Files
data/all.jsonl: all 1,170 examples.
data/mcq.jsonl: 592 multiple-choice examples.
data/oeq.jsonl: 578 open-ended examples.
No model prediction outputs are included in this release.
Schema
Each JSONL row has the following fields:
{
"id": "mcq_0001",
"task_type":… See the full description on the dataset page: https://huggingface.co/datasets/medreason/llm-medical-reasoning-steps-benchmark.adaption-financial-reasoning-steps
This dataset is a remastered version prepared using Adaption's Adaptive Data platform.
adaption-financial_reasoning_steps
This dataset contains pairs of financial analysis questions and their corresponding step-by-step reasoning processes to derive numerical answers. Each entry includes a specific query about corporate metrics like growth rates, percentages, or net changes, followed by explicit arithmetic operations and a final calculated value. The content is structured to… See the full description on the dataset page: https://huggingface.co/datasets/asadullahdogarr/adaption-financial-reasoning-steps.Sky-T1_data_steps
Sky-T1_data_steps
This dataset contains 182 samples taken from NovaSky-AI/Sky-T1_data_17k
dataset and broken down to thinking steps. This dataset was used to train shakedzy/Sky-T1-32B-Steps
LoRA adapter for step-by-step thinking.
Breaking down the thought process to steps was done using Ollama's quantized version of Llama-3.2-1B.
See step_prompt file for the exact prompt used.
Dataset Columns
id (int): row index of the sample in the original dataset (starts at 0)… See the full description on the dataset page: https://huggingface.co/datasets/shakedzy/Sky-T1_data_steps.StepSearch-musi-datasetmath_problem_stepsquestion_type_steps_trainFinetuning model to detect the question type (System Design, Data Science, AI Engineering etc) and possible high level steps to answer the question
h5_coarse_medium_1500_stepsjaredjoss__pythia-410m-roberta-lr_8e7-kl_01-steps_12000-rlhf-model-details
Dataset Card for Evaluation run of jaredjoss/pythia-410m-roberta-lr_8e7-kl_01-steps_12000-rlhf-model
Dataset automatically created during the evaluation run of model jaredjoss/pythia-410m-roberta-lr_8e7-kl_01-steps_12000-rlhf-model
The dataset is composed of 38 configuration(s), each one corresponding to one of the evaluated task.
The dataset has been created from 1 run(s). Each run can be found as a specific split in each configuration, the split being named using the timestamp… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard/jaredjoss__pythia-410m-roberta-lr_8e7-kl_01-steps_12000-rlhf-model-details.task-planning-steps-jsonq# Task Planning Steps Dataset
JSON dataset describing step-by-step task plans
for humanoid robot planning modules.
ordered-action-steps-datasetOrdered Action Steps Dataset
A dataset containing ordered action steps for simple procedural flows.
iroGenDatasetlinear-task-steps-datasetLinear Task Steps Dataset
Ordered steps representing simple linear tasks.