AI-secure/Certified-Robustness-SoK-Oldver
This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.
Stargazers
- a3616001
- abojchevskiMunich
- aisecureUIUC AI Secure
- AlphaPavUniversity of Illinois Urbana-Champaign
- chenhonggeMIT
- cshjinArgonne National Laboratory
- Equationliu
- fly51flyPRIS
- jianrenwPhD@CMU RI
- jjzhou012HangZhou, China
- JulienSiems
- laibe
- lichongyang96南京
- liuzrcc
- llyllySimon Fraser University
- machanicTsinghua University
- matouk98
- mauriceweberTogether AI
- max-andrEPFL
- mil-adLondon, UK
- msnqqerHuawei
- nd1511European Space Agency (ESA)
- nyLiaoSingapore
- ricosrShenzhen
- sergedurand
- shizhouxingUCLA
- SimpleConjugate
- UnispacPrinceton ECE
- wangjksjtuUniversity of Toronto
- XuankangLinWest Lafayette
- yaodongyuUC Berkeley
- yuyangwApple
- ywu36
- yziqi
- zixianmaUniversity of Washington
- zlosa