Zhaodi Zhang

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