LLM-Guided Evolution of Symbolic Acceleration Inequality Families for MILP.

arXiv:2508.11850v3 Announce Type: replace Abstract: Integer programming (IP) is central to many combinatorial optimization tasks but remains challenging due to its NP-hard nature. A practical way to improve IP solvers is to manually design inequality families