Conference paperCNN-Cert: An efficient framework for certifying robustness of convolutional neural networks