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

Open in new window