reasoning-core/procedural-pile

procedural-pile: Verifiers environment on Hugging Face. 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…