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 Liqian Chen

Input Validation for Neural Networks via Runtime Local Robustness Verification

Feb 09, 2020
Jiangchao Liu, Liqian Chen, Antoine Mine, Ji Wang

  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