Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021)
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian
Approximation of Hidden Features.
[Preprint]
Text
2103.03704v1.pdf - Submitted version Download (2MB) | Preview |
Abstract
Intensive research has been conducted on the verification and validation of deep neural networks (DNNs), aiming to understand if, and how, DNNs can be applied to safety critical applications. However, existing verification and validation techniques are limited by their scalability, over both the size of the DNN and the size of the dataset. In this paper, we propose a novel abstraction method which abstracts a DNN and a dataset into a Bayesian network (BN). We make use of dimensionality reduction techniques to identify hidden features that have been learned by hidden layers of the DNN, and associate each hidden feature with a node of the BN. On this BN, we can conduct probabilistic inference to understand the behaviours of the DNN processing data. More importantly, we can derive a runtime monitoring approach to detect in operational time rare inputs and covariate shift of the input data. We can also adapt existing structural coverage-guided testing techniques (i.e., based on low-level elements of the DNN such as neurons), in order to generate test cases that better exercise hidden features. We implement and evaluate the BN abstraction technique using our DeepConcolic tool available at https://github.com/TrustAI/DeepConcolic.
Item Type: | Preprint |
---|---|
Additional Information: | 38 pages, 10 figures |
Uncontrolled Keywords: | cs.LG, cs.LG, cs.SE |
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 22 Mar 2021 08:31 |
Last Modified: | 15 Mar 2024 09:05 |
DOI: | 10.48550/arxiv.2103.03704 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3117938 |