Execution-Verified Reinforcement Learning for Optimization Modeling | hypedar