Procedural data generators for verifiable reasoning, synthetic pretraining, post-training, evaluation, and RL.
procedural-generation logic dataset procedural symbolic dataset-generation synthetic reasoning pre-training data-generators llm grpo verifiers rlvr pre-pre-training procedural-dataset solver-distillation synthetic-pretraining
-
Updated
Jul 10, 2026 - Python