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 Justin Whitehouse

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 Paper or Ask Questions

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 Paper or Ask Questions