Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

Kexin Pei, Linjie Zhu, Yinzhi Cao +3

Due to the increasing usage of machine learning (ML) techniques in security- and safety-critical domains, such as autonomous systems and medical diagnosis, ensuring correct behavio…