arXiv:2608. 19953v1 Announce Type: new Abstract: Mixed-Integer Linear Programming (MILP) is a fundamental problem class in operations research and combinatorial optimization, with broad applications to industrial decision-making.
By Guanlin Li, Chengrui Gao, Chenguang Wang, Haopu Shang, Zherong Zhang, Ke Xue, Jixiang Lu, Weiyong Yang, Chao Qian
The paper introduces an automated method that employs Large Language Models in a check–fix–verify loop to generate executable Python scripts for extracting problem-specific features from constraint satisfaction problems. Given a MiniZinc model and instance, the LLM agent produces code that builds a typed graph representation and computes structural properties such as graph density, variable clustering, and constraint tightness. Evaluated on vehicle routing, car sequencing, and fixed‑length error‑correcting codes, the synthesized extractors enable algorithm selectors that outperform expert‑curated mzn2feat features and transformer‑based trans2feat variants, while remaining interpretable.
By Hai Xia, Carlos Ans\'otegui, Stefan Szeider
arXiv:2509. 24256v2 Announce Type: replace-cross Abstract: The pretrain-transfer paradigm, which underpins the success of large language models (LLMs), has demonstrated the immense power of creating foundation models that learn generalizable representations from vast datasets.
By Yunhao Liang, Pujun Zhang, Yuan Qu, Jingyuan Yang, Shaochong Lin, Zuo-jun Max Shen
Mixed-Integer Linear Programming (MILP) is a fundamental problem class in operations research and combinatorial optimization, with broad applications to industrial decision-making. Owing to their NP-hardness, however, modern solvers may struggle to find high-quality solutions for challenging MILP instances within practical time limits.
arXiv:2607. 06532v1 Announce Type: new Abstract: Mixed-integer linear programming (MILP) instances used for solver development are hard to obtain when models come from private or application-specific pipelines.
By Xiaolei Guo, Chenyu Zhou, Jianghao Lin, Dongdong Ge
arXiv:2508. 20330v5 Announce Type: replace Abstract: Combinatorial optimization problems are ubiquitous in science and engineering.
By Zohair Shafi, Serdar Kadioglu
arXiv:2607. 09708v1 Announce Type: new Abstract: Solving large-scale instances of the Traveling Salesman Problem (TSP) exactly is computationally expensive.
By Tianfeng Chen, Xianyue Li
arXiv:2609.37356v1 Announce Type: new
Abstract: Generating optimization instances that are both feasible and computationally challenging is crucial for benchmarking solvers and training learning-base...
By Jitin Singla, Parikshit Pareek, Pratik Jawanpuria, Parag Singla
arXiv:2510. 04567v3 Announce Type: replace-cross Abstract: Graph Neural Networks (GNNs) are powerful tools for processing relational data but often struggle to generalize to unseen graphs, giving rise to the development of Graph Foundational Models (GFMs).
By Weishuo Ma, Yanbo Wang, Xiyuan Wang, Lei Zou, Muhan Zhang
GraphSkillEvo introduces a graph-structured representation for agent skills, where each node encodes an execution step and edges capture context-dependent transitions. This structure offers clearer workflow guidance and reduces redundancy compared to unstructured natural-language skills. The authors then present a population-based evolutionary optimization framework that explores this structured skill space, achieving higher accuracy than the baseline SkillOpt across five agent benchmarks.
By Rui Sun, Zhi Zheng, Zhenkun Wang, Zhichao Lu
arXiv:2503. 06396v2 Announce Type: replace Abstract: The minimum vertex cover (MVC) problem seeks to identify the smallest set of vertices that cover all edges in an undirected graph.
By Chanjuan Liu, Qiqi Bao, Yu Zhang, Enqiang Zhu
arXiv:2508. 08005v4 Announce Type: replace-cross Abstract: The Maximum Clique Problem (MCP) is an NP-hard problem with wide-ranging applications in fields such as bioinformatics, network science, and social computing, yet no single algorithm consistently outperforms all others across diverse graph instances.
By Xiang Li, Shanshan Wang, Chenglong Xiao