Goose: A Meta-Solver for Deep Neural Network Verification.
Joseph ScottGuanting PanElias B. KhalilVijay GaneshPublished in: SMT (2022)
Keyphrases
- neural network
- artificial neural networks
- back propagation
- pattern recognition
- model checking
- neural network model
- formal verification
- neural network is trained
- meta level
- radial basis function
- network architecture
- neural nets
- self organizing maps
- fault diagnosis
- recurrent neural networks
- fuzzy logic
- neural model
- deep learning
- meta reasoning
- backpropagation neural network
- image reconstruction from projections
- formal methods
- multilayer perceptron
- feed forward
- knn
- expert systems