Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching.
Panagiotis KouvarosAlessio LomuscioPublished in: IJCAI (2021)
Keyphrases
- neural network
- pattern recognition
- model checking
- back propagation
- artificial neural networks
- genetic algorithm
- fuzzy logic
- lightweight
- neural network model
- feed forward
- formal verification
- training data
- database systems
- radial basis function
- recurrent neural networks
- information content
- associative memory
- verification method