datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
procedural-pile
Task gallery ·
Source ·
Paper ·
RLVR dataset
Procedural Pile is a synthetic corpus of verifiable reasoning problems generated by Reasoning Core. It is intended for continued pretraining, mid-training, and supervised fine-tuning.
Answers come from procedural generators and task-specific solvers or checkers, rather than language-model generation. The corpus spans mathematics, formal logic, planning, graphs, parsing, code, structured data, and other symbolic domains. Difficulty… See the full description on the dataset page: https://huggingface.co/datasets/reasoning-core/procedural-pile.procedural-reasoning-training-pool
Procedural reasoning training pool
Reasoning questions from 101 procedural generators, each of which writes a question, computes its
own answer and ships a verifier that scores an attempt at it, plus a collection of solved Sudoku
puzzles. Every answer is short and exactly checkable, so a trained model can be marked against the
key by a program and no judge is needed. Laid out twice. Train on either layer or on both.
pool.jsonl
Every generator rewritten into one… See the full description on the dataset page: https://huggingface.co/datasets/Emulated-Inc/procedural-reasoning-training-pool.procedural-warmup