4 papers
GRIMIP: A General Framework for Instance-Specific Configuration of MIP Solvers Using LLMs
Yidong Luo, Xuemin Chen, Chenguang Wang +3
Configuring the hyperparameters of Mixed-integer programming (MIP) solvers is a high-dimensional, instance-dependent optimization problem where suboptimal settings can degrade solv…
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
Haoyang Liu, Jie Wang, Boxuan Niu +8
Building mathematical optimization models is critical in operations research (OR), while it requires substantial human expertise. Recent advancements have utilized large language m…
Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
Siyuan Li, Yifan Yu, Zhihao Zhang +5
Mixed-integer linear programming (MILP) has been a fundamental problem in combinatorial optimization. Conventional MILP solving mainly relies on carefully designed heuristics embed…
BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solving
Teng Wang, Wing-Yin Yu, Zhenqi He +8
LLMs exhibit advanced reasoning capabilities, offering the potential to transform natural language questions into mathematical models. However, existing open-source datasets in ope…