Automated Verification of Neural Networks: Advances, Challenges and Perspectives.
Francesco LeofanteNina NarodytskaLuca PulinaArmando TacchellaPublished in: CoRR (2018)
Keyphrases
- automated verification
- neural network
- model checking
- automated reasoning
- lessons learned
- current challenges
- formal verification
- pattern recognition
- artificial neural networks
- back propagation
- real world
- artificial intelligence
- fuzzy logic
- recent advances
- data sets
- open issues
- paradigm shift
- multi layer
- feed forward
- fault diagnosis
- activation function
- key issues
- multilayer perceptron
- neural network model