TY  - RPRT
TI  - SoK: Certified Robustness for Deep Neural Networks
AU  - Linyi Li
AU  - Tao Xie
AU  - Bo Li
PY  - 2023
UR  - https://arxiv.org/abs/2009.04131
ID  - 2009.04131
ER  -