Search Results for author: Yiwei Zhu

Found 1 papers, 0 papers with code

Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels

no code implementations16 Jul 2020 Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song

The key insight of our approach is that the robustness verification problem of DNNs can be solved by verifying sub-problems of DNNs, one per target label.

Autonomous Driving Medical Diagnosis

Cannot find the paper you are looking for? You can Submit a new open access paper.