SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization. - Xiaole Su; Kasey Zhang; Andy Lyu (CoRR, 2026)