sileod/reasoning-core
Procedural data generators suite for synthetic pretraining and formal reasoning
GitHub repository with 41 stars and 4 forks.
Language: Python
Topics: data-generators, dataset, dataset-generation, grpo, llm, logic, pre-pre-training, pre-training, procedural, procedural-dataset