Exploiting Verified Neural Networks via Floating Point Numerical Error (arxiv.org) 3 pts|6 years ago|discuss