Guangke Chen -

Not registered as user yet

Name:Guangke Chen

Country:China

Affiliation:ShanghaiTech University

Contributions

SAS 2022	Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ASE 2022	Author of QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks within the Research Papers-track
ISSTA 2021	Author of Attack as Defense: Characterizing Adversarial Examples using Robustness within the Technical Papers-track