Adversarial Examples Are a Natural Consequence of Test Error in Noise
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks