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
Ensuring Fairness Beyond the Training Data

Jul 12, 2020
Debmalya Mandal, Samuel Deng, Suman Jana, Jeannette M. Wing, Daniel Hsu

* 18 pages, 3 figures 

  Access Model/Code and Paper
Towards Understanding Fast Adversarial Training

Jun 04, 2020
Bai Li, Shiqi Wang, Suman Jana, Lawrence Carin


  Access Model/Code and Paper
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks

Apr 10, 2020
Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu


  Access Model/Code and Paper
Towards Practical Lottery Ticket Hypothesis for Adversarial Training

Mar 06, 2020
Bai Li, Shiqi Wang, Yunhan Jia, Yantao Lu, Zhenyu Zhong, Lawrence Carin, Suman Jana


  Access Model/Code and Paper
On Pruning Adversarially Robust Neural Networks

Feb 24, 2020
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana

* 19 pages, 14 figures, 8 tables 

  Access Model/Code and Paper
Training Robust Tree Ensembles for Security

Dec 03, 2019
Yizheng Chen, Shiqi Wang, Weifan Jiang, Asaf Cidon, Suman Jana


  Access Model/Code and Paper
CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Oct 17, 2019
Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana


  Access Model/Code and Paper
Towards Compact and Robust Deep Neural Networks

Jun 14, 2019
Vikash Sehwag, Shiqi Wang, Prateek Mittal, Suman Jana

* 14 pages, 9 figures, 7 tables 

  Access Model/Code and Paper
Enhancing Gradient-based Attacks with Symbolic Intervals

Jun 05, 2019
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana


  Access Model/Code and Paper
On Training Robust PDF Malware Classifiers

Apr 06, 2019
Yizheng Chen, Shiqi Wang, Dongdong She, Suman Jana


  Access Model/Code and Paper
MixTrain: Scalable Training of Verifiably Robust Neural Networks

Dec 01, 2018
Shiqi Wang, Yizheng Chen, Ahmed Abdou, Suman Jana


  Access Model/Code and Paper
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
Certified Robustness to Adversarial Examples with Differential Privacy

Oct 07, 2018
Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana


  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