Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling | Read Paper on Bytez