@misc{indiciaee62ab478fd7e,
  title = {Hierarchical Verification for Adversarial Robustness},
  author = {Cong Han Lim and Raquel Urtasun and Ersin Yumer},
  year = {2020},
  url = {https://arxiv.org/abs/2007.11826},
  note = {Source identifier: 2007.11826}
}