reasoning-core-synthetic-data

Reasoning Core procedurally generates verifiable symbolic reasoning datasets across formal domains (planning, logic, parsing), with external solvers and curriculum control.

Independent GitHub snapshot · Automated classification · Original documentation governs