{"id":"arxiv/2602.15983","url":"https://arxiv.org/abs/2602.15983","tags":["cs.SE","cs.AI","cs.LG","math.OC"],"score":0,"title":"ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization","domain":"cs.SE","source":"arxiv","authors":["Junbo Jacob Lian","Yujun Sun","Huiling Chen","Chaoyu Zhang","Hanzhang Qin","Chung-Piaw Teo"],"reviews":0,"subject":"cs.SE","summary":"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 while encoding a semantically incorrect formulation. On compositional problems, the resulting feasibility-correctness gap reaches 90 percentage points. We introduce ReLoop, which combines two mechanisms. Structured generation decomposes code production into a four-stage reasoning chain (understand, formalize, synthesize, verify) to reduce formulation errors during generation. Behavioral…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-17","reactions":{}}