Conference ProceedingA Unified View of SDP-based Neural Network Verification through Completely Positive ProgrammingBrown, Robin A; Schmerling, Edward; Azizan, Navid; Pavone, MarcoPMLR2022-03-3010494908Proceedings of Machine Learning Research2640-3498https://doi.org/1918549National Science Foundation