mixed integer programming

Model-Based Control with Sparse Neural Dynamics NeurIPS 2023 Neural Lyapunov Control for Discrete-Time Systems NeurIPS 2023 Non-Euclidean Motion Planning with Graphs of Geodesically-Convex Sets RSS 2023 Optimal Decision Diagrams for Classification AAAI 2023 Optimal Decision Tree Policies for Markov Decision Processes IJCAI 2023 Optimizing over trained GNNs via symmetry breaking NeurIPS 2023 Scalable Optimal Multiway-Split Decision Trees with Constraints AAAI 2023 Securing Lifelines: Safe Delivery of Critical Services in Areas with Volatile Security Situation via a Stackelberg Game Approach AAAI 2023 Self-Paced Learning Based Graph Convolutional Neural Network for Mixed Integer Programming (Student Abstract) AAAI 2023 SIGMA: Scale-Invariant Global Sparse Shape Matching ICCV 2023 Simulation-Assisted Optimization for Large-Scale Evacuation Planning with Congestion-Dependent Delays IJCAI 2023 Skyplane: Optimizing Transfer Cost and Throughput Using Cloud-Aware Overlays NSDI 2023 Two-phase Attacks in Security Games UAI 2023 A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022 A Hybrid Evolutionary Algorithm for the Diversified Top-k Weight Clique Search Problem (Student Abstract) AAAI 2022 An Algorithm for Learning Switched Linear Dynamics from Data NeurIPS 2022 A Scalable Deterministic Global Optimization Algorithm for Training Optimal Decision Tree NeurIPS 2022 A Solver + Gradient Descent Training Algorithm for Deep Neural Networks IJCAI 2022 Constrained Discrete Black-Box Optimization using Mixed-Integer Programming ICML 2022 Constrained Prescriptive Trees via Column Generation AAAI 2022 General Cutting Planes for Bound-Propagation-Based Neural Network Verification NeurIPS 2022 Global Optimization of K-Center Clustering ICML 2022 Interpretable Clustering via Multi-Polytope Machines AAAI 2022 Learning to Branch with Tree MDPs NeurIPS 2022 Minimax Optimization: The Case of Convex-Submodular AISTATS 2022