Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation



Yang, Pengfei, Li, Jianlin, Liu, Jiangchao, Huang, Cheng-Chao, Li, Renjue, Chen, Liqian, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zhang, Lijun
(2021) Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. FORMAL ASPECTS OF COMPUTING, 33 (3). 407 - 435.

[img] Text
FAOC21_dnn.pdf - Submitted Version

Download (1MB) | Preview
Item Type: Article
Uncontrolled Keywords: Deep neural network, Verification, Robustness, Abstract interpretation, Symbolic propagation, Lipschitz constant
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 04 Feb 2022 08:55
Last Modified: 13 Aug 2022 01:10
DOI: 10.1007/s00165-021-00548-1
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3148181