A Sequential Framework Towards an Exact SDP Verification of Neural Networks.

Ziye Ma, Somayeh Sojoudi

Browse the full DSAA paper archive.