Provable defenses against adversarial examples via the convex outer adversarial polytope
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks