Algorithms for Verifying Deep Neural Networks.
Changliu LiuTomer ArnonChristopher LazarusChristopher A. StrongClark W. BarrettMykel J. KochenderferPublished in: Found. Trends Optim. (2021)
Keyphrases
- neural network
- theoretical analysis
- black box
- recently developed
- orders of magnitude
- data structure
- genetic algorithm
- graph theory
- benchmark datasets
- machine learning algorithms
- worst case
- artificial neural networks
- computational complexity
- image sequences
- semi supervised
- computational cost
- computationally efficient
- pattern recognition
- combinatorial optimization
- case study
- knowledge base
- artificial intelligence