Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang

Browse the full SAS paper archive.