@article{towardspracticalverificationofmachine,
  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 = {2017},
  eprint = {1712.01785},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1712.01785v4},
}