6 papers
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
Emanuele La Malfa, Min Wu, Luca Laurenti +3
Neural network NLP models are vulnerable to small modifications of the input that maintain the original meaning but result in a different prediction. In this paper, we focus on rob…
Robustness Guarantees for Deep Neural Networks on Videos
Min Wu, Marta Kwiatkowska
The widespread adoption of deep learning models places demands on their robustness. In this paper, we consider the robustness of deep neural networks on videos, which comprise both…
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability
Xiaowei Huang, Daniel Kroening, Wenjie Ruan +5
In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks. With the broader deplo…
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Min Wu, Matthew Wicker, Wenjie Ruan +2
Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. In this paper, we study two variants of pointwise r…
Concolic Testing for Deep Neural Networks
Youcheng Sun, Min Wu, Wenjie Ruan +3
Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This paper presents the first concolic testing approach for…
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm
Wenjie Ruan, Min Wu, Youcheng Sun +3
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 adv…