Zhaodi Zhang

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 11

Top Topics

Linear Approximation

Discriminative Classifiers

Top Venues

IEEE Trans. Comput. Soc. Syst.

Publications

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR (2023)
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR (2023)
Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang
Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems. IEEE Trans. Comput. Soc. Syst. 10 (4) (2023)
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. CoRR (2023)
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA (2023)
Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. Comput. J. 65 (11) (2022)
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. CoRR (2022)
Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. CoRR (2022)
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. ASE (2022)
Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. ISSRE (2021)
Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. CoRR (2020)