TY  - RPRT
TI  - Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
AU  - Kexin Pei
AU  - Linjie Zhu
AU  - Yinzhi Cao
AU  - Junfeng Yang
AU  - Carl Vondrick
AU  - Suman Jana
PY  - 2022
UR  - https://arxiv.org/abs/1712.01785
ID  - 1712.01785
ER  -