@misc{indiciae1a59b9ab4b3c,
  title = {Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems},
  author = {Kexin Pei and Linjie Zhu and Yinzhi Cao and Junfeng Yang and Carl Vondrick and Suman Jana},
  year = {2022},
  url = {https://arxiv.org/abs/1712.01785},
  note = {Source identifier: 1712.01785}
}