Title: | Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance |
---|---|
Links: | Document as PDF |
Authors: | Wenjie Ruan |
Min Wu | |
Youcheng Sun | |
Xiaowei Huang | |
Daniel Kroening EMail | |
Marta Kwiatkowska | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{rwshkk2019, AUTHOR = { Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta }, TITLE = { Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the {Hamming} Distance }, BOOKTITLE = { International Joint Conference on Artificial Intelligence (IJCAI) }, YEAR = { 2019 }, PAGES = { 5944--5952 }, EDITOR = { Sarit Kraus }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.