Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

16 Apr 2018 • Wenjie Ruan • Min Wu • Youcheng Sun • Xiaowei Huang • Daniel Kroening • Marta Kwiatkowska

Deployment of deep neural networks (DNNs) in safety- or security-critical systems requires provable guarantees on their correct behaviour. A common requirement is robustness to adversarial perturbations in a neighbourhood around an input... (read more)

PDF Abstract

Results from the Paper

Edit

Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.

METHOD	TYPE
🤖 No Methods Found	Help the community by adding them if they're not listed; e.g. Deep Residual Learning for Image Recognition uses ResNet

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

Code

Add Remove Mark official

Tasks

Add Remove

Results from the Paper

Edit

Methods used in the Paper

Add Remove

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

Code Edit Add Remove Mark official

Tasks Edit Add Remove

Results from the Paper Edit

Methods used in the Paper Edit Add Remove

Code

Add Remove Mark official

Tasks

Add Remove

Results from the Paper

Edit

Methods used in the Paper

Add Remove