Exploiting Verified Neural Networks via Floating Point Numerical Error

3 points| kaijia | 6 years ago |arxiv.org