Conference paperCNN-Cert: An efficient framework for certifying robustness of convolutional neural networks
Conference paperSeq2sick: Evaluating the robustness of sequence-to-sequence models with adversarial examples