Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling - Chen, Yitian; Xia, Jingfan; Shao, Siyu; Ge, DongDong; Ye, Yinyu (Advances in Neural Information Processing Systems, 2025)