Procedural data generators suite for synthetic pretraining and formal reasoning
Latest commits.
Builders behind this project.