Sign in

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

Brandon PaulsenJingbo WangJiawei WangChao 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