Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
Primary LanguagePython