Exploiting Verified Neural Networks via Floating Point Numerical Error.

Kai Jia Martin Rinard

Published in: CoRR (2020)

Keyphrases

floating point
neural network
interval arithmetic
fixed point
square root
floating point arithmetic
sparse matrices
artificial neural networks
back propagation
sensitivity analysis
instruction set
pairwise
data processing
fast fourier transform