research
∙
05/27/2020
Fast and Effective Robustness Certification for Recurrent Neural Networks
We present a precise and scalable verifier for recurrent neural networks...
share
research
∙
05/19/2020
Synthesizing Unrestricted False Positive Adversarial Objects Using Generative Models
Adversarial examples are data points misclassified by neural networks. O...
research
∙
06/04/2018
