NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.

Brandon Paulsen Jingbo Wang Jiawei Wang Chao Wang

Published in: ASE (2020)

Keyphrases

fine grained
neural network
coarse grained
access control
model checking
tightly coupled
artificial neural networks
massively parallel
back propagation
database
search engine
data lineage