Scalable Quantitative Verification For Deep Neural Networks.
Teodora BalutaZheng Leong ChuaKuldeep S. MeelPrateek SaxenaPublished in: CoRR (2020)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- quantitative and qualitative
- fuzzy systems
- neural network model
- fuzzy logic
- qualitative and quantitative
- formal verification
- network architecture
- training process
- multilayer perceptron
- recurrent neural networks
- asynchronous circuits
- memory efficient
- web scale
- feed forward
- fault diagnosis
- website
- computer vision
- genetic algorithm
- machine learning
- database
- model checking
- probabilistic model
- face verification
- highly scalable
- deep learning
- person identification
- fingerprint verification
- neural network is trained