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

Chrome logo Add to Chrome

Firefox logo Add to Firefox


Exploiting Verified Neural Networks via Floating Point Numerical Error

Mar 06, 2020
Kai Jia, Martin Rinard


Share this with someone who'll enjoy it:


We show how to construct adversarial examples for neural networks with exactly verified robustness against $\ell_{\infty}$-bounded input perturbations by exploiting floating point error. We argue that any exact verification of real-valued neural networks must accurately model the implementation details of any floating point arithmetic used during inference or verification.



   Access Paper Source



Share this with someone who'll enjoy it: