Training verified learners with learned verifiers
Explaining and Harnessing Adversarial Examples