Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhaodi Zhang
conf.researchr.org general profile
ASE 2022 profile
ECOOP and ISSTA 2023 profile
Registered user since Mon 5 Sep 2022
Name:
Zhaodi Zhang
Country:
China
Affiliation:
East China Normal University
Contributions
2023
ISSTA
Author of A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation within the Technical Papers-track
2022
ASE
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Artifact Evaluation-track
Author of Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks within the Research Papers-track
Share
x
Tue 13 May 00:13