Exploiting Verified Neural Networks via Floating Point Numerical Error #1 Post by kaijia » Mon, Mar 09, 2020, 2:22 AM UTC Exploiting Verified Neural Networks via Floating Point Numerical Errorarxiv.org