Algorithms for Verifying Deep Neural Networks.
Changliu LiuTomer ArnonChristopher LazarusClark W. BarrettMykel J. KochenderferPublished in: CoRR (2019)
Keyphrases
- neural network
- machine learning algorithms
- computationally efficient
- pattern recognition
- genetic algorithm
- data structure
- recurrent neural networks
- theoretical analysis
- worst case
- computational complexity
- learning algorithm
- artificial neural networks
- graphical models
- machine learning
- data mining
- benchmark datasets
- orders of magnitude
- computationally expensive
- times faster
- convergence rate
- real time