Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Jianlin Li

Improving Neural Network Verification through Spurious Region Guided Refinement


Oct 15, 2020
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang


  Access Paper or Ask Questions

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


Feb 26, 2019
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang


  Access Paper or Ask Questions