datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
procedural-pile
Procedural Pile
Verifiable reasoning problems, generated by code, formatted as supervised training data.
Procedural Pile contains 24,806,238 problems from 55 task families: arithmetic, equation systems and inverse word problems, first-order logic and formal proofs in Metamath, program execution and state tracking, belief tracking, planning, graph search, grammars, attribute grammars and regular expressions, SQL over tables, games, causal and probabilistic inference, and more.… 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.