AI RESEARCH
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
arXiv CS.AI
•
ArXi:2602.15983v2 Announce Type: replace-cross Large language models (LLMs) can translate natural language into optimization code, but silent failures pose a critical risk: code that executes and returns solver-feasible solutions may encode semantically incorrect formulations -- a feasibility-correctness gap reaching 90%age points on compositional problems. We