VPN: Verification of Poisoning in Neural Networks.
Youcheng SunMuhammad UsmanDivya GopinathCorina S. PasareanuPublished in: CoRR (2022)
Keyphrases
- neural network
- fuzzy logic
- model checking
- back propagation
- artificial neural networks
- data mining
- multi layer
- multilayer perceptron
- pattern recognition
- genetic algorithm
- asynchronous circuits
- formal verification
- verification method
- activation function
- fuzzy neural network
- fuzzy systems
- virtual private network
- recurrent neural networks
- feed forward
- neural network model
- fault diagnosis
- neural nets
- radial basis function
- formal methods
- distributed systems
- training data
- decision making