Zhaodi Zhang

According to our database, Zhaodi Zhang authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems.

Zhaodi Zhang, Jing Liu, Guanjun Liu, Jiacun Wang, John Zhang

IEEE Trans. Comput. Soc. Syst., August, 2023

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.

Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Boosting Verified Training for Robust Image Classifications via Abstraction.

Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.

Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu, Min Zhang

CoRR, 2022

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices.

Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun

Comput. J., 2022

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.

Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks.

Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels.

Wenjie Wan, Zhaodi Zhang, Yiwei Zhu, Min Zhang, Fu Song

CoRR, 2020