Exploiting Verified Neural Networks via Floating Point Numerical Error

Open in new window