datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
ample-math
AMPLE-Math
5,319 mathematics problems, each with a verified final answer and six references to that same
answer. The references differ only in how much of the reasoning they show, which makes them useful
for studying what a teacher's reference content contributes during distillation.
Problems and original reasoning come from the metadata configuration of
OpenThoughts-114k, and keep its
Apache-2.0 attribution. A question was kept only if all six references exist, every generated… See the full description on the dataset page: https://huggingface.co/datasets/xiuyuz/ample-math.math-intuition-reasoning-traces
math-intuition reasoning traces
Full chain-of-thought traces from 7 reasoning models on the same 4,020 problems, graded
by each problem family's own verifier.
Questions come from
amphora/math-intuition-20260908-402-easy-10
— 402 arXiv-derived problem families x 10 seeds, easy preset. Every row here refers to an id
in that dataset, so prompts and the instance cache can be joined from it.
Generation settings
Identical for every model, so the traces are directly… See the full description on the dataset page: https://huggingface.co/datasets/amphora/math-intuition-reasoning-traces.math-intuition-20260906-403-demo-10
math-intuition-20260906-403-demo-10
3,936 mathematics problems drawn from 403 problem families, each derived from a
distinct arXiv paper. Every problem is generated answer-first, so the answer is known by
construction and is checked by the family's own verify() before the row is written.
No row in this file is ungraded.
This is the demo rung — read this before using it
Each family exposes a four-rung ladder: demo, easy, medium, hard. This file samples
demo, which… See the full description on the dataset page: https://huggingface.co/datasets/amphora/math-intuition-20260906-403-demo-10.math-intuition-20260906-403-easy-30
math-intuition-20260906-403-easy-30
12,090 synthetic mathematics problems drawn from 403 problem families, each family
derived from a distinct arXiv paper. Every problem is generated answer-first, so the
answer is known by construction and is checked by the family's own verify() before
the row is written. No row in this file is ungraded.
This is the easy slice: 30 instances per family at each family's easiest difficulty
preset. It is not the hard benchmark — see Difficulty… See the full description on the dataset page: https://huggingface.co/datasets/amphora/math-intuition-20260906-403-easy-30.