A Sequential Framework Towards an Exact SDP Verification of Neural Networks

IEEE Entry