Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training
BeginnerValentin Lacombe, Valentin Quesnel et al.Mar 2arXiv
Reasoning Core is a tool that automatically creates a huge variety of logic and math puzzles, checks every answer with real solvers, and lets you smoothly dial the difficulty up or down.
#procedural data generation#symbolic reasoning#PDDL planning