AI RESEARCH
SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
arXiv CS.AI
•
ArXi:2604.13515v1 Announce Type: cross Supervised fine-tuning (SFT) followed by Group Relative Policy Optimization (GRPO) is a common post-