ReLoop：用结构化建模与行为验证提升 LLM 优化代码可靠性

ReLoop 提出结构化生成与行为验证两种机制，缓解 LLM 生成的优化代码“可执行但语义错误”的问题，在组合问题上该可行性-正确性差距可达 90 个百分点。结构化生成在 RetailOpt-190 上为 Claude Opus 4.6 带来 +8.5pp 准确率，行为验证在 MAMO-ComplexLP 上提升 +4.4pp，并借助诊断执行恢复实现 100% 可执行代码。