Login / Signup
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation.
Brandon Paulsen
Jingbo Wang
Jiawei Wang
Chao Wang
Published in:
CoRR (2020)
Keyphrases
</>
fine grained
neural network
coarse grained
access control
massively parallel
artificial neural networks
model checking
tightly coupled
back propagation
web pages
sentiment analysis
data lineage