CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction
Not on the map. Why?
Abstract (arXiv)
Mixed-Integer Linear Programming (MILP) is a cornerstone of combinatorial optimization, yet solving large-scale instances remains a significant computational challenge. Recently, Graph Neural Networks (GNNs) have shown promise in accelerating MILP solvers by predicting high-quality solutions. However, we identify that existing methods misalign with the intrinsic structure of MILP problems at two levels. At the leaning objective level, the Binary Cross-Entropy (BCE) loss treats variables independently, neglecting their relative priority and yielding plausible logits. At the model architecture level, standard GNN message passing inherently smooths the representations across variables, missing the natural competitive relationships within constraints. To address these challenges, we propose CoCo-MILP, which explicitly models inter-variable Contrast and intra-constraint Competition for advanced MILP solution prediction. At the objective level, CoCo-MILP introduces the Inter-Variable Contrastive Loss (VCL), which explicitly maximizes the embedding margin between variables assigned one versus zero. At the architectural level, we design an Intra-Constraint Competitive GNN layer that, instead of homogenizing features, learns to differentiate representations of competing variables within a constraint, capturing their exclusionary nature. Experimental results on standard benchmarks demonstrate that CoCo-MILP significantly outperforms existing learning-based approaches, reducing the solution gap by up to 68.12% compared to traditional solvers. Our code is available at https://github.com/happypu326/CoCo-MILP.
Key facts. Cited by 4 papers in the map (data through 7 Oct 2026). Builds on 23 of its 45 references that are in the map. First posted on arXiv 12 Nov 2025.
Builds on
23 of 45 references.
References · 23
- 2020A Simple Framework for Contrastive Learning of Visual Representationscited by 11,979
- 2018Representation Learning with Contrastive Predictive Codingcited by 7,662
- 2015FaceNet: A Unified Embedding for Face Recognition and Clusteringcited by 2,833
- 2018Learning deep representations by mutual information estimation and maximizationcited by 1,265
- 2019Exact Combinatorial Optimization with Graph Convolutional Neural Networkscited by 313
- 2020Solving Mixed Integer Programs Using Neural Networkscited by 178
- 2022MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solverscited by 48
- 2023Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Modelcited by 44
- 2021Learning a Large Neighborhood Search Algorithm for Mixed Integer Programscited by 41
- 2022The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insightscited by 39
- 2023Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learningcited by 37
- 2021Learning Large Neighborhood Search Policy for Integer Programmingcited by 35
11 more
- 2025OptiTree: Hierarchical Thoughts Generation with Tree Search for LLM Optimization Modelingcited by 23
- 2023A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availabilitycited by 21
- 2024MILP-StuDio: MILP Instance Generation via Block Structure Decompositioncited by 17
- 2024Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programscited by 16
- 2024Accelerating PDE Data Generation via Differential Operator Action in Solution Spacecited by 15
- 2022An Improved Reinforcement Learning Algorithm for Learning to Branchcited by 14
- 2023Learning to Configure Separators in Branch-and-Cutcited by 14
- 2023Promoting Generalization for Exact Solvers via Adversarial Instance Augmentationcited by 12
- 2024Rethinking the Capacity of Graph Neural Networks for Branching Strategycited by 12
- 2025SymMaP: Improving Computational Efficiency in Linear Solvers through Symbolic Preconditioningcited by 5
- 2025RoME: Domain-Robust Mixture-of-Experts for MILP Solution Prediction across Domainscited by 3
Built on by
Citing papers per year: 2026: 4.
4 papers.
- 2026Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verificationcited by 5
- 2026Differentiable Integer Linear Programming is not Differentiable & it's not a mere technical problemcited by 1
- 2026Learning Early-to-Final Solution Consistency for MILP Accelerationcited by 0
- 2026SHSP: Structure-Aware Hierarchical Solution Prediction for Mixed-Integer Linear Programmingcited by 0
- 2026SHSP: Structure-Aware Hierarchical Solution Prediction for Mixed-Integer Linear Programming26 Aug 2026
- 2026Learning Early-to-Final Solution Consistency for MILP Acceleration20 Aug 2026
- 2026Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification28 May 2026
- 2026Differentiable Integer Linear Programming is not Differentiable & it's not a mere technical problem25 Jan 2026