Up a level |
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).
pp. 407-435.
Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Yang, Pengfei, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei
(2022)
Weight Expansion: A New Perspective on Dropout and Generalization.
Transactions on Machine Learning Research.