Zhaodi Zhang

Joined

October 2022

Names

Zhaodi Zhang (Preferred)

,

Zhang Zhaodi

Emails

****@stu.ecnu.edu.cn (Confirmed)

Personal Links

Career & Education History

Researcher

Chengdu Academy of Educational Sciences (cdjky.com)

2023 – 2025

PhD student

East China Normal University (ecnu.edu.cn)

2018 – 2023

Advisors, Relations & Conflicts

PhD Advisor

2018 – 2023

Expertise

Robustness Verification

2018 – 2025

Neural Network

2018 – 2025

Publications

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. 2023
- Readers: Everyone
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
- ISSTA 2023
- Readers: Everyone
Boosting Verified Training for Robust Image Classifications via Abstraction
Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
- CVPR 2023
- Readers: Everyone
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
Zhaodi Zhang, Yiting Wu, Si Liu, Jing Liu, Min Zhang
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- ASE 2022
- Readers: Everyone
Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices
Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- Comput. J. 2022
- Readers: Everyone
Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks
Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen
- Published: 01 Jan 2021, Last Modified: 12 May 2023
- ISSRE 2021
- Readers: Everyone

Co-Authors