The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.
Luca MarzariDavide CorsiFerdinando CicaleseAlessandro FarinelliPublished in: IJCAI (2023)
Keyphrases
- neural network
- training process
- artificial neural networks
- model checking
- pattern recognition
- fuzzy logic
- back propagation
- fuzzy systems
- neural nets
- input variables
- signature verification
- feed forward neural networks
- feedforward neural networks
- artificial intelligence
- belief nets
- activation function
- feed forward
- training algorithm
- recurrent neural networks
- multilayer perceptron
- self organizing maps
- sufficient conditions
- image processing
- decision making
- machine learning