TY  - RPRT
TI  - A Unified View of SDP-based Neural Network Verification through Completely Positive Programming
AU  - Robin Brown
AU  - Edward Schmerling
AU  - Navid Azizan
AU  - Marco Pavone
PY  - 2022
UR  - https://arxiv.org/abs/2203.03034
ID  - 2203.03034
ER  -