:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lian, Junbo Jacob, Sun, Yujun, Chen, Huiling, Zhang, Chaoyu, Qin, Hanzhang, Teo, Chung-Piaw
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence Machine Learning Optimization and Control
Online Access:	https://arxiv.org/abs/2602.15983
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
by: Xu, Yujia, 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)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, 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)

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

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

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)

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

An Efficient Framework for Global Non-Convex Polynomial Optimization over the Hypercube
by: Letourneau, Pierre-David, et al.
Published: (2023)

An Efficient Framework for Global Non-Convex Polynomial Optimization with Algebraic Constraints
by: Harris, Mitchell Tong, et al.
Published: (2023)

PMBO: Enhancing Black-Box Optimization through Multivariate Polynomial Surrogates
by: Schreiber, Janina, et al.
Published: (2024)

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