research
∙
12/23/2020
Solving Mixed Integer Programs Using Neural Networks
Mixed Integer Programming (MIP) solvers rely on an array of sophisticate...
share
research
∙
10/22/2020
Reinforcement Learning with Combinatorial Actions: An Application to Vehicle Routing
Value-function-based methods have long played an important role in reinf...
research
∙
06/24/2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
We improve the effectiveness of propagation- and linear-optimization-bas...
research
∙
09/26/2019
CAQL: Continuous Action Q-Learning
Value-based reinforcement learning (RL) methods like Q-learning have sho...
research
∙
11/20/2018
Strong mixed-integer programming formulations for trained neural networks
We present an ideal mixed-integer programming (MIP) formulation for a re...
research
∙
06/17/2018
How Could Polyhedral Theory Harness Deep Learning?
The holy grail of deep learning is to come up with an automatic method t...
research
∙
11/06/2017