CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks.

Akhilan Boopathy, Tsui-Wei Weng, Pin-Yu Chen, Sijia Liu, Luca Daniel

Browse the full AAAI paper archive.