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