Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.
James FerlezYasser ShoukryPublished in: CoRR (2020)
Keyphrases
- neural network
- upper bound
- artificial neural networks
- case study
- decision problems
- worst case
- feed forward
- genetic algorithm
- multiscale
- computational complexity
- multi layer
- neural network model
- machine learning
- self organizing maps
- neural nets
- data sets
- multi layer perceptron
- model checking
- fuzzy logic
- computational cost
- pattern recognition
- computer vision
- learning algorithm