GitHub repository: IBM/CNN-Cert
Primary language: C
Description: Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks", published at AAAI 2019