ML Anthology

Brown, Robin A.

1 publications

AISTATS 2022 A Unified View of SDP-Based Neural Network Verification Through Completely Positive Programming Robin A. Brown, Edward Schmerling, Navid Azizan, Marco Pavone