Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001. Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Asp. Comput., 33(3):407-435, 2021. [doi]
Abstract is missing.