surrealyz/verified-global-properties
Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
Python
Stargazers
- AeroOwl
- ansue1234
- danielz02Massachusetts Institute of Technology
- Dongdongshe
- fufeisi
- h1994st
- hhlrank
- KoukyosyumeiColumbia University
- linzilongsaicXi'an -> Shanghai -> Bloomington
- megaeliusLausanne
- Murplugg
- peikexin9The University of Chicago
- RiskySignalInstitute of Information Engineering, University of Chinese Academy of Sciences
- THUYimingLiZhejiang University
- tianz1990
- tongwu2020Princeton University
- ttjVanderbilt University
- victoryang00Baskin Engineering
- vidhigupta9Delhi, India
- wdbhustSMU
- weifanjiangHarvard University
- wqqqy
- yikaig@squareup
- zacharykzhaoThe Hong Kong Polytechnic University
- ZJZACA*STAR