Exploiting Verified Neural Networks via Floating Point Numerical Error.

Kai Jia, Martin C. Rinard

Browse the full SAS paper archive.