mixed integer linear programming

CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction AAAI 2026 Generative Branching for Mixed-Integer Linear Programming AAAI 2026 LARA: LLM-based Agile Power Distribution Network Restoration from Disastrous Events EACL 2026 Learning Branching Policies for MILPs with Proximal Policy Optimization AAAI 2026 The GOODPUT System: A Machine Learning-Driven Optimization Framework for Dynamic Spectrum Control in Heterogeneous WLANs NSDI 2026 Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 Apollo-MILP: An Alternating Prediction-Correction Neural Solving Framework for Mixed-Integer Linear Programming ICLR 2025 Demystifying Cost-Efficiency in LLM Serving over Heterogeneous GPUs ICML 2025 Don’t Restart, Just Reuse: Reoptimizing MILPs with Dynamic Parameters ICML 2025 Fast and Interpretable Mixed-Integer Linear Program Solving by Learning Model Reduction AAAI 2025 Large Language Model-driven Large Neighborhood Search for Large-Scale MILP Problems ICML 2025 Learn2Aggregate: Supervised Generation of Chvatal-Gomory Cuts Using Graph Neural Networks AAAI 2025 Learning to Select Nodes in Branch and Bound with Sufficient Tree Representation ICLR 2025 SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch AAAI 2025 Speedup Techniques for Switchable Temporal Plan Graph Optimization AAAI 2025 CAMBranch: Contrastive Learning with Augmented MILPs for Branching ICLR 2024 Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming AAAI 2024 Light-MILPopt: Solving Large-scale Mixed Integer Linear Programs with Lightweight Optimizer and Small-scale Training Dataset ICLR 2024 Linearised data-driven LSTM-based control of multi-input HVAC systems L4DC 2024 MILP-StuDio: MILP Instance Generation via Block Structure Decomposition NeurIPS 2024 Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs NeurIPS 2024 OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models ICML 2024 System-level safety guard: Safe tracking control through uncertain neural network dynamics models L4DC 2024 Tackling Stackelberg Network Interdiction against a Boundedly Rational Adversary IJCAI 2024 Tight Verification of Probabilistic Robustness in Bayesian Neural Networks AISTATS 2024