Training Safe Neural Networks with Global SDP Bounds | Read Paper on Bytez