datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
countdown-backtrackingStep Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models
train: 500K
test (Seen Targets): 5k
test (New Targets): 5k
github: https://github.com/LAMDASZ-ML/Self-BackTracking
countdowncountdown_problemscountdown-dataset
ES Heterogeneity Countdown
Countdown arithmetic data used for Evolution Strategies experiments under
heterogeneous data allocation.
Dataset splits
train: approximately 3.79 million synthetically generated, solvable, and
deduplicated Countdown problems.
test: 2,000 held-out Countdown problems from the original evaluation set.
Each example contains:
id: example identifier
numbers: input numbers that must each be used exactly once
target: desired arithmetic result… See the full description on the dataset page: https://huggingface.co/datasets/es-heterogeneity/countdown-dataset.countdown-rlvr
Countdown RLVR
Qwen3-4B의 검증 가능한 추론 학습에 사용하는 Countdown 데이터셋입니다.
주어진 숫자를 각각 한 번 사용하여 목표값을 만드는 수식을 생성합니다.
1. 데이터 구성
분할
개수
숫자 개수
목표값
SHA-256
train
1,024
4
10~100
aa7abb6242d8ada72e55a6d8d0917e3618473ddf2f0f880b288814394b231131
validation
128
4
10~100
b06a1be3604d637aa19bd61af57aadf98fbbffcb8ef4db8d477fe8535c617497
test
256
4
10~100
416c02076321875cccfeed19f742e56048269b4b9d24112f6a2bee82ba301815
demo.jsonl에는 검증 흐름을 확인하는 숫자 3개 문제를 둡니다.… See the full description on the dataset page: https://huggingface.co/datasets/NotoriousH2/countdown-rlvr.countdown-qwen3-0.6b
Countdown Qwen3-0.6B Pass@10 Buckets
Countdown arithmetic problems filtered by observed local Qwen/Qwen3-0.6B success rate over 10 rollouts per problem.
Each problem asks for an arithmetic expression that reaches a target using each listed source number at most once. The final answer should be inside \boxed{...}. Canonical solutions are provided, but any verifier-valid expression is accepted.
Subsets
subset
source bucket
count
observed successes out of 10… See the full description on the dataset page: https://huggingface.co/datasets/simpissa/countdown-qwen3-0.6b.countdown-mult-sft
Countdown multiplication SFT dataset
About 5,000 Countdown problems that genuinely require a multiply or divide (no add/sub-only
solution exists), each paired with a correct, worked solution from a brute-force solver. Used to
supervised-fine-tune Qwen2.5-3B in the
GRPO/SFT Countdown study.
Each row is a prompt / completion pair in the chat format the model trains on. The completion
reasons inside <think> </think> and gives the final equation inside <answer> </answer>:
prompt:… See the full description on the dataset page: https://huggingface.co/datasets/leon2k2k2k/countdown-mult-sft.countdown_100k
countdown 100k
此数据集为 countdown 任务合成数据,附带 expr 并且 round(target,2)
files
countdown_100k.jsonl:
range(1,100)
int(nums)
target=rand(target, 2)
limit: each number once
countdown_uniq_100k.jsonl:
range(1,100)
int(nums)
target=rand(target, 2)
limit: each number once / each operand once
countdown_bigint_100k.jsonl:
range(1,65535)
int(nums)
target=rand(target, 2)
limit: each number once
countdown_float_100k.jsonl:
range(1,65535)
float(nums)
target=rand(target, 2)
limit:… See the full description on the dataset page: https://huggingface.co/datasets/lenML/countdown_100k.math_countdowncountdown_full_curriculumcountdown_valcountdown-splitscorrect_countdowncountdown_solution_hardmath_combinatory_countdown_level_5countdown_qwen3teacher_filtered_responsesQwen3-8B-distillation-countdown-50k-generated
Qwen3-8B-distillation-countdown-50k-generated
The dataset was created for the competition on the Qwen3-8B model with 50,000 generations on 8 candidates.
GPU: RTX5090 24Gb
countdown_customcountdown_custom_basic_and_warmstartCountdown-Tasks-5to6countdown_val__highly_effective_starsonboarding-countdown-qwen3-1.7b
