reasoning-core-synthetic-data

【数据与研究】Reasoning Core procedurally generates verifiable symbolic reasoning datasets across formal domains (planning, logic, parsing), with external solvers and curriculum control.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准