ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization.

arXiv:2602.15983v5 Announce Type: replace-cross Abstract: Large language models (LLMs) can translate natural-language problem descriptions into optimization code, but the code is prone to silent failures: it executes and returns a solver-feasible solution whil