A Unified View of SDP-based Neural Network Verification through Completely Positive Programming.

Robin A. Brown, Edward Schmerling, Navid Azizan, Marco Pavone

Browse the full AISTATS paper archive.