Table · dataset · 2025
Procedural Pile
Listed in Hugging Face Datasets
Procedural Pile Verifiable reasoning problems, generated by code, formatted as supervised training data.
Description
Procedural Pile contains 25,457,455 problems from 51 task families: arithmetic and equation systems, first-order logic, planning, graph search, grammars and regular expressions, SQL over tables, program execution, games, causal and probabilistic inference, formal proofs in Metamath, and more. Every answer is computed by a solver or checked by a verifier.
None are written by a… See the full description on the dataset page: huggingface.co/datasets/reasoning-core/procedural-pile.
Links
Where it is published
- Hugging Face dataset page huggingface.co/datasets/reasoning-core/procedural-pile ↗
landing page · from Hugging Face
- DOI doi.org/10.57967/hf/9569 ↗
DOI / persistent id · from Hugging Face
Documentation and papers
- arXiv:2608.05148 arxiv.org/abs/2608.05148 ↗
publication · from Hugging Face
Catalogue records · 1
- Hub API huggingface.co/api/datasets/reasoning-core/procedural-pile ↗
metadata API · from Hugging Face
Topics
- Stated by source
- question answering · text · text generation
- From keywords
- Computer Science & AI
Provenance · 1 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Hugging Face Datasets | reasoning-core/procedural-pile | 15 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · Hugging Face | connector:huggingface@1.0.0 | /gated |
| concepts[field].local:field:computer-science-ai | mapping · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[modality].hf_modality:text | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[task].hf_task:question-answering | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| concepts[task].hf_task:text-generation | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| created_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| description | source · Hugging Face | connector:huggingface@1.0.0 | /description |
| license | source · Hugging Face | connector:huggingface@1.0.0 | /tags[license:*] |
| publication_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| title | source · Hugging Face | connector:huggingface@1.0.0 | /id |
| updated_date | source · Hugging Face | connector:huggingface@1.0.0 |