Neuron importance based verification of neural networks via divide and conquer.
Yansong DongYuehao LiuLiang ZhaoCong TianZhenhua DuanPublished in: Neurocomputing (2024)
Keyphrases
- neural network
- activation function
- pattern recognition
- back propagation
- artificial neural networks
- model checking
- neural network model
- genetic algorithm
- neural model
- neural models
- competitive learning
- face verification
- fuzzy logic
- recurrent neural networks
- multilayer perceptron
- formal verification
- neural nets
- feed forward
- self organizing maps
- associative memory
- feedforward neural networks
- radial basis function
- information systems
- verification method
- neural network is trained