The proliferation of software and AI comes with a hidden risk: its growing energy and carbon footprint. As concerns regarding environmental sustainability come to the forefront, understanding and ...

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework (AAAI 2022) Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina [Paper] NSGZero: Efficiently Learning Non-exploitable Policy ...

This paper proposes a learning-based adaptive-scenario-tree model predictive control (MPC) approach with probabilistic safety guarantees using Bayesian neural networks (BNNs) for nonlinear systems.