mixed integer programming

GHOST: Solving the Traveling Salesman Problem on Graphs of Convex Sets AAAI 2026 Learning to Solve Constrained Bilevel Control Co-Design Problems L4DC 2026 Near-optimal Linear Predictive Clustering in Non-separable Spaces via MIP and QPBO Reductions AAAI 2026 On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting AAAI 2026 Scalable Mixed-Integer Optimization with Neural Constraints via Dual Decomposition AAAI 2026 Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problems IJCAI 2025 BTBS-LNS: Binarized-Tightening, Branch and Search on Learning LNS Policies for MIP ICLR 2025 Commitment to Sparse Strategies in Two-Player Games AAAI 2025 Global Optimization of Gaussian Process Acquisition Functions Using a Piecewise-Linear Kernel Approximation AISTATS 2025 Improving Community-Participated Patrol for Anti-Poaching AAAI 2025 LEVIS: Large Exact Verifiable Input Spaces for Neural Networks ICML 2025 LLMOPT: Learning to Define and Solve General Optimization Problems from Scratch ICLR 2025 MDP: Multidimensional Vision Model Pruning with Latency Constraint CVPR 2025 Mitigating Bias in Item Retrieval for Enhancing Exam Assembly in Vocational Education Services NAACL 2025 On Designing General and Expressive Quantum Graph Neural Networks with Applications to MILP Instance Representation ICLR 2025 Optimal Planning to Coordinate Science Data Collection and Downlink for a Constellation of Agile Satellites with Limited Storage IJCAI 2025 PhysPDE: Rethinking PDE Discovery and a Physical Hypothesis Selection Benchmark ICLR 2025 Probabilistic Explanations for Regression Models UAI 2025 Puzzle: Distillation-Based NAS for Inference-Optimized LLMs ICML 2025 Rare Event Detection in Imbalanced Multi-Class Datasets Using an Optimal MIP-Based Ensemble Weighting Approach AAAI 2025 Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization (Abstract Reprint) IJCAI 2025 Towards Foundation Models for Mixed Integer Linear Programming ICLR 2025 Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates AAAI 2024 Automatic Partitioning of a Code-Switched Speech Corpus Using Mixed-Integer Programming COLING 2024 Critically Assessing the State of the Art in Neural Network Verification JMLR 2024