Procedural data generators suite for synthetic pretraining and formal reasoning
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
Apr 16, 2026 - Python