nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement.
Stanley BakPublished in: NFM (2021)
Keyphrases
- neural network
- pattern recognition
- model checking
- hardware designs
- artificial neural networks
- genetic algorithm
- face verification
- bounded model checking
- fault diagnosis
- neural network model
- fuzzy logic
- high level
- back propagation
- self organizing maps
- feed forward
- neural nets
- formal verification
- refinement process
- data abstraction
- functional verification
- cellular neural networks
- rule extraction
- activation function
- fuzzy systems
- associative memory
- recurrent neural networks
- multilayer perceptron
- decision making