procedural
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-engine-sounds
Procedural Engine Sounds Dataset (Official)
⚠️ Canonical Source
This is the original and official release of the Procedural Engine Sounds Dataset, created by Robin Doerfler:
Project page (start here): https://rdoerfler.github.io/procedural-engine-sounds-page/
Hugging Face repository: https://huggingface.co/datasets/rdoerfler/procedural-engine-sounds
Zenodo DOI (primary citation): https://doi.org/10.5281/zenodo.16883336
Other versions of this dataset on… See the full description on the dataset page: https://huggingface.co/datasets/rdoerfler/procedural-engine-sounds.factory-manipulation-videos
Factory manipulation videos
Procedural Robotics is open sourcing a small set of our factory data so teams can assess its quality. The videos show workers performing factory tasks.
Contents
Seven continuous takes, 109 minutes in total.
Task
Station
Worker
Duration
File
cardboard manipulation
01
041
23.6 min
cardboard_manipulation_station01_worker041.mp4
cardboard manipulation
04
026
16.5 min
cardboard_manipulation_station04_worker026.mp4
defect… See the full description on the dataset page: https://huggingface.co/datasets/procedural-robotics/factory-manipulation-videos.procedural-truth-datasetprocedural_2000_10mental_rotation_3d_procedural_v2