Copertina

ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lian, Junbo Jacob, Sun, Yujun, Chen, Huiling, Zhang, Chaoyu, Qin, Hanzhang, Teo, Chung-Piaw
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Machine Learning Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
di: Xu, Yujia, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

Compact Constraint Encoding for LLM Code Generation: An Empirical Study of Token Economics and Constraint Compliance
di: Tang, Hanzhang
Pubblicazione: (2026)

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

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

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

Cardinal Optimizer (COPT) User Guide
di: Ge, Dongdong, et al.
Pubblicazione: (2022)

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

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

Grid-Orch: An LLM-Powered Orchestrator for Distribution Grid Simulation and Analytics
di: Liu, Boming, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

MindOpt Adapter for CPLEX Benchmarking Performance Analysis
di: Sun, Mou, et al.
Pubblicazione: (2023)

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

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

Towards Using Behavior Trees in Industrial Automation Controllers
di: Sidorenko, Aleksandr, et al.
Pubblicazione: (2024)

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

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

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
di: Shen, Chao, et al.
Pubblicazione: (2026)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
di: Xu, Kangwei, et al.
Pubblicazione: (2025)

LLM-Enhanced, Data-Driven Personalized and Equitable Clinician Scheduling: A Predict-then-Optimize Approach
di: Jha, Anjali, et al.
Pubblicazione: (2025)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
di: Jin, Yiyang, et al.
Pubblicazione: (2025)

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
di: Ishii, Hiromi, et al.
Pubblicazione: (2025)

Towards a Human-in-the-Loop Framework for Reliable Patch Evaluation Using an LLM-as-a-Judge
di: Shi, Sherry, et al.
Pubblicazione: (2025)

Learning to Optimize by Differentiable Programming
di: Tao, Liping, et al.
Pubblicazione: (2026)

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

A Million-Point Fast Trajectory Optimization Solver
di: Javeed, A., et al.
Pubblicazione: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)

tvopt: A Python Framework for Time-Varying Optimization
di: Bastianello, Nicola
Pubblicazione: (2020)

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent
di: Kushnir, Samuel, et al.
Pubblicazione: (2024)

Improved algorithms and novel applications of the FrankWolfe.jl library
di: Besançon, Mathieu, et al.
Pubblicazione: (2025)