Training verified learners with learned verifiers
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples