OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Zhaodi Zhang
Joined
October 2022
Names
Zhaodi Zhang
(Preferred)
,
Zhang Zhaodi
Emails
****@stu.ecnu.edu.cn
(Confirmed)
Personal Links
Homepage
DBLP
ORCID
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
Jing Liu
2018
–
2023
Expertise
Robustness Verification
2018
–
2025
Neural Network
2018
–
2025
Publications
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
Fu Song
Haiying Sun
Jing Liu
Min Zhang
Si Liu
Wenjie Wan
Xingwu Guo
Xuejun Wen
Yiting Wu