@misc{indiciae76d464c58a2d,
  title = {Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability},
  author = {Kai Y. Xiao and Vincent Tjeng and Nur Muhammad Shafiullah and Aleksander Madry},
  year = {2019},
  url = {https://arxiv.org/abs/1809.03008},
  note = {Source identifier: 1809.03008}
}