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

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
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

Towards Plausible Differentially Private ADMM Based Distributed Machine Learning

Aug 11, 2020
Jiahao Ding, Jingyi Wang, Guannan Liang, Jinbo Bi, Miao Pan

* Comments: Accepted for publication in CIKM'20 

  Access Paper or Ask Questions

Water Supply Prediction Based on Initialized Attention Residual Network

Dec 17, 2019
Yuhao Long, Jingcheng Wang, Jingyi Wang

* 7 pages, 4 figures. This work has been submitted to IFAC for possible publication 

  Access Paper or Ask Questions

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks

Nov 14, 2019
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting


  Access Paper or Ask Questions

Analyzing Recurrent Neural Network by Probabilistic Abstraction

Sep 22, 2019
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong


  Access Paper or Ask Questions

Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing

Jan 18, 2019
Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang

* Accepted by ICSE 2019 

  Access Paper or Ask Questions

Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing

May 17, 2018
Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang

* Sumitted to NIPS 2018 

  Access Paper or Ask Questions

Toward `verifying' a Water Treatment System

May 10, 2018
Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu

* Accepted by FM 2018 

  Access Paper or Ask Questions