Cite
Notes
Only stored in your browser.
Attribution
Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training
arXiv 2026
Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem
arXiv 2025
from 2 papers
Damien Sileo
Valentin Lacombe