Training verified learners with learned verifiers
Deep neural networks and mixed integer linear optimization