Teach the Mismatch, Not the Whole Trace: Solver-Informed Self-Distillation for OR Models
TL;DR for operators An optimization assistant can generate executable solver programs for many business problems, but expert-verified formulations are expensive and a trajectory-level success signal does not reveal which modeling section was wrong. That makes solver execution useful not just as a final check, but as a potential source of training supervision. :chatgpt-content-reference{index=“0”} ...