mixed-integer optimization

Generating Likely Counterfactuals Using Sum-Product Networks ICLR 2025 Manifold-Aligned Counterfactual Explanations for Neural Networks AISTATS 2024 Sample Complexity of Algorithm Selection Using Neural Networks and Its Applications to Branch-and-Cut NeurIPS 2024 Verifying message-passing neural networks via topology-based bounds tightening ICML 2024 Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots RSS 2024 Optimizing over trained GNNs via symmetry breaking NeurIPS 2023 Solving Large-Scale Sparse PCA to Certifiable (Near) Optimality JMLR 2022 Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks NeurIPS 2021 Towards Lower Bounds on the Depth of ReLU Neural Networks NeurIPS 2021 An ADMM Based Framework for AutoML Pipeline Configuration AAAI 2020 Discrete Embedding for Latent Networks IJCAI 2020 Mixed-Variable Bayesian Optimization IJCAI 2020 Feature subset selection for the multinomial logit model via mixed-integer optimization AISTATS 2019 Learning Optimal and Fair Decision Trees for Non-Discriminative Decision-Making AAAI 2019 The Price of Usability: Designing Operationalizable Strategies for Security Games IJCAI 2018