Conv-Reluplex : A Verification Framework For Convolution Neural Networks (S).

Jin Xu, Zishan Li, Miaomiao Zhang, Bowen Du

Browse the full SEKE paper archive.