• Sign in
  • Sign up
conf.researchr.org / Guangke Chen
  • ASE 2022 profile
  • ECOOP and ISSTA 2021 profile
  • SPLASH 2022 profile

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

Share
xTue 21 Mar 18:37
using conf.researchr.org (v1.59.1)
Support page
Sign Up