TY  - RPRT
TI  - Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations
AU  - Hong-Ming Chiu
AU  - Richard Y. Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2211.17244
ID  - 2211.17244
ER  -