A game-based approximate verification of deep neural networks with provable guarantees.
Min WuMatthew WickerWenjie RuanXiaowei HuangMarta KwiatkowskaPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- neural network
- quality guarantees
- multilayer perceptron
- approximation guarantees
- genetic algorithm
- pattern recognition
- back propagation
- model checking
- artificial neural networks
- learning tools
- cellular neural networks
- deep learning
- self organizing maps
- greedy algorithm
- recurrent neural networks
- learning process
- neural network model
- educational games
- activation function
- rule extraction
- mobile learning
- signature verification
- neural network is trained
- mobile phone