kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.
Xiaoyong XueXiyue ZhangMeng SunPublished in: FSEN (2023)
Keyphrases
- neural network
- activation function
- neuron model
- neural model
- artificial neural networks
- back propagation
- associative memory
- prediction model
- pattern recognition
- fuzzy logic
- face verification
- fingerprint verification
- single neuron
- genetic algorithm
- recurrent neural networks
- feed forward
- radial basis function
- neural nets
- multi layer perceptron
- learning vector quantization
- verification method