{"id":"arxiv/2605.27630","url":"https://arxiv.org/abs/2605.27630","tags":["math.OC","cs.SE"],"score":0,"title":"OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents","domain":"math.OC","source":"arxiv","authors":["Yujia Xu","Zhiheng Wang","Thi Dinh"],"reviews":0,"subject":"math.OC","summary":"Many decentralized decision problems require multiple parties to coordinate on shared decisions while keeping objectives, constraints, and data private. Large language models (LLMs) offer a promising way to lower the barrier to participation by generating local optimization agents from natural-language specifications. In coordination settings, however, executability is not enough: a generated agent may compile, solve, and pass local checks while still being semantically wrong, for example by misrepresenting costs, mis-scoping constraints, or responding incorrectly to incentives. Such errors…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}