Minimal Modifications of Deep Neural Networks using Verification.
Ben GoldbergerGuy KatzYossi AdiJoseph KeshetPublished in: LPAR (2020)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- neural network model
- model checking
- fuzzy logic
- genetic algorithm
- self organizing maps
- activation function
- associative memory
- signature verification
- formal methods
- face verification
- neural nets
- recurrent neural networks
- knowledge base
- multi layer
- fuzzy systems
- network architecture
- real time
- multilayer perceptron
- deep learning
- hopfield neural network
- fingerprint verification
- concurrent systems