3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
Yiting Wu, Zhaodi Zhang, Zhiyi Xue +2
The robustness of neural networks is fundamental to the hosting system's reliability and security. Formal verification has been proven to be effective in providing provable robustn…
cs.LG2020★ 3 cited
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels
Wenjie Wan, Zhaodi Zhang, Yiwei Zhu +2
Deep Neural Networks (DNNs) have become key components of many safety-critical applications such as autonomous driving and medical diagnosis. However, DNNs have been shown sufferin…