Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

Publication
Advances in Neural Information Processing Systems, 2020

Related