Showing cs.CLShow all
2 papers · 1 filter
cs.CL2026
Reasoning Core: Designing Broad Procedural Data for Completion-Supervised Reasoning Training
Damien Sileo, Valentin Lacombe, Dimitri Kachler
Procedural generators produce useful verifiable reasoning problems at scale, but have received less attention as data for completion-supervised fine-tuning. We introduce Reasoning…
cs.CL2026
Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training
Valentin Lacombe, Valentin Quesnel, Damien Sileo
Training on verifiable symbolic data is a promising way to expand the reasoning frontier of language models beyond what standard pre-training corpora provide. Yet existing procedur…