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
NEUZZ: Efficient Fuzzing with NeuralProgram Smoothing

Nov 04, 2018
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana


  Access Model/Code and Paper
Efficient Formal Safety Analysis of Neural Networks

Oct 26, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to NIPS'18 

  Access Model/Code and Paper
Formal Security Analysis of Neural Networks using Symbolic Intervals

Jul 01, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to USENIX Security 2018 

  Access Model/Code and Paper
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

Mar 20, 2018
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray


  Access Model/Code and Paper
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

Dec 16, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* 16 pages, 11 tables, 11 figures 

  Access Model/Code and Paper
DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Sep 24, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* To be published in SOSP'17 

  Access Model/Code and Paper