1.3k citations · 1.9k across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017★ 70 cited
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…
cs.LG2017★ 1.3k cited
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang +1
Deep learning (DL) systems are increasingly deployed in safety- and security-critical domains including self-driving cars and malware detection, where the correctness and predictab…