A Sequential Framework Towards an Exact SDP Verification of Neural NetworksIEEE EntryShare on Twitter Facebook LinkedIn Previous Next