Cover Image

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Yujia, Wang, Zhiheng, Dinh, Thi
Format:	Preprint
Published:	2026
Subjects:	Optimization and Control Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
by: Lian, Junbo Jacob, et al.
Published: (2026)

OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM Agents
by: Ao, Ruicheng, et al.
Published: (2026)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)

GlycoPy: A CasADi-based Python Framework for Hierarchical Modeling, Optimization, and Control of Bioprocesses
by: Ma, Yingjie, et al.
Published: (2026)

Addressing Methodological Sensitivity in MCDM with a Systematic Pipeline Approach to Data Transformation Sensitivity Analysis
by: Cabral, Juan B., et al.
Published: (2025)

Inverse Optimality for Fair Digital Twins: A Preference-based approach
by: Masti, Daniele, et al.
Published: (2025)

Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
by: Ma, Yujie, et al.
Published: (2026)

EV-EcoSim: A grid-aware co-simulation platform for the design and optimization of electric vehicle charging infrastructure
by: Balogun, Emmanuel, et al.
Published: (2024)

Environment-in-the-Loop: Rethinking Code Migration with LLM-based Agents
by: Li, Xiang, et al.
Published: (2026)

Ranking LLM-Generated Loop Invariants for Program Verification
by: Chakraborty, Saikat, et al.
Published: (2023)

Absorber LLM: Harnessing Causal Synchronization for Test-Time Training
by: Zhang, Zhixin, et al.
Published: (2026)

A Dual-Loop Agent Framework for Automated Vulnerability Reproduction
by: Liu, Bin, et al.
Published: (2026)

AgentChangeBench: A Multi-Dimensional Evaluation Framework for Goal-Shift Robustness in Conversational AI
by: Rana, Manik, et al.
Published: (2025)

Cardinal Optimizer (COPT) User Guide
by: Ge, Dongdong, et al.
Published: (2022)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)

How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
by: Krupke, Dominik, et al.
Published: (2025)

Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot
by: Zhang, Beiqi, et al.
Published: (2024)

Human-In-The-Loop Software Development Agents: Challenges and Future Directions
by: Pasuksmit, Jirat, et al.
Published: (2025)

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
by: Blyth, Scott, et al.
Published: (2025)

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation
by: Ma, Zeyuan, et al.
Published: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
by: Kannan, Hanumanthrao, et al.
Published: (2025)

Role of Conditional Statements in Software Engineering and Program Optimization
by: Kumar, Dr Kundan
Published: (2026)

LLM For Loop Invariant Generation and Fixing: How Far Are We?
by: Akhond, Mostafijur Rahman, et al.
Published: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Designing a Framework for Solving Multiobjective Simulation Optimization Problems
by: Chang, Tyler H., et al.
Published: (2023)

CDOpt: A Python Package for a Class of Riemannian Optimization
by: Xiao, Nachuan, et al.
Published: (2022)

A Unified and Scalable Method for Optimization over Graphs of Convex Sets
by: Marcucci, Tobia
Published: (2025)

optHIM: Hybrid Iterative Methods for Continuous Optimization in PyTorch
by: Sridhar, Nikhil, et al.
Published: (2025)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)

Using a Feedback Loop for LLM-based Infrastructure as Code Generation
by: Palavalli, Mayur Amarnath, et al.
Published: (2024)

JAX-SSO: Differentiable Finite Element Analysis Solver for Structural Optimization and Seamless Integration with Neural Networks
by: Wu, Gaoyuan
Published: (2024)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
by: Pirzada, Muhammad A. A., et al.
Published: (2026)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
by: Wang, Hongshu, et al.
Published: (2026)

Optimization under uncertainty: understanding orders and testing programs with specifications
by: Jansson, Patrik, et al.
Published: (2025)

Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
by: Qu, Zheng, et al.
Published: (2025)

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
by: Bouzenia, Islem, et al.
Published: (2024)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
by: Liu, Zihan, et al.
Published: (2024)

PaperFit: Vision-in-the-Loop Typesetting Optimization for Scientific Documents
by: Yu, Bihui, et al.
Published: (2026)

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
by: Ishii, Hiromi
Published: (2026)