VPN: Verification of Poisoning in Neural Networks.
Youcheng SunMuhammad UsmanDivya GopinathCorina S. PasareanuPublished in: NSV/FoMLAS@CAV (2022)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- fuzzy logic
- network security
- back propagation
- face verification
- recurrent neural networks
- neural network model
- fault diagnosis
- feed forward
- verification method
- network architecture
- model checking
- virtual private network
- data sets
- artificial neural networks
- neural nets
- rule extraction
- decision making
- face recognition
- functional verification
- search engine
- competitive learning
- formal methods
- activation function
- training algorithm
- multi layer
- training data
- rough sets