reasoning-core/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.
upload test shard 00001
upload train shard 00119
upload train shard 00118
upload train shard 00117
upload train shard 00116
upload train shard 00115
upload train shard 00114
upload train shard 00113
upload train shard 00112
upload train shard 00111
upload train shard 00110
upload train shard 00109
upload train shard 00108
upload train shard 00107
upload train shard 00106
upload train shard 00105
upload train shard 00104
upload train shard 00103
upload train shard 00102
upload train shard 00101
upload train shard 00100
upload train shard 00099
upload test shard 00000
upload train shard 00098
upload train shard 00097
upload train shard 00096
upload train shard 00095
upload train shard 00094
upload train shard 00093
upload train shard 00092
upload train shard 00091
upload train shard 00090
upload train shard 00089
upload train shard 00088
upload train shard 00087
upload train shard 00086
upload train shard 00085
upload train shard 00084
upload train shard 00083
upload train shard 00082
upload train shard 00081
upload train shard 00080
upload train shard 00079
upload train shard 00078
upload train shard 00077
upload train shard 00076
upload train shard 00075
upload train shard 00074
upload train shard 00073
upload train shard 00072