Logic Before Language: Pre-pretraining on Formal Derivations Fosters Skill Acquisition and Compressibility

Published in arXiv preprint, 2026

Authors: Jo-Ku Cheng, Nikolaos Aletras, Marco Valentino