TY  - RPRT
TI  - Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem
AU  - Valentin Quesnel
AU  - Damien Sileo
PY  - 2025
UR  - https://arxiv.org/abs/2509.06809
ID  - 2509.06809
ER  -