Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
SAS, 2019.
@inproceedings{SAS-2019-LiLYCHZ,
author = "Jianlin Li and Jiangchao Liu and Pengfei Yang and Liqian Chen and Xiaowei Huang 0001 and Lijun Zhang 0001",
booktitle = "{Proceedings of the 26th International Static Analysis Symposium}",
doi = "10.1007/978-3-030-32304-2_15",
isbn = "['978-3-030-32303-5', '978-3-030-32304-2']",
pages = "296--319",
publisher = "{Springer}",
title = "{Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification}",
year = 2019,
}
Tags:
