Exploiting Verified Neural Networks via Floating Point Numerical Error.

Kai Jia Martin Rinard

Published in: SAS (2021)

Keyphrases

floating point
neural network
fixed point
interval arithmetic
square root
instruction set
fast fourier transform
artificial neural networks
sensitivity analysis
floating point arithmetic
numerical methods
image segmentation
sparse matrices