Parametric Chordal Sparsity for SDP-based Neural Network Verification.
Anton XueLars LindemannRajeev AlurPublished in: CoRR (2022)
Keyphrases
- neural network
- semidefinite programming
- model checking
- genetic algorithm
- pattern recognition
- high dimensional
- neural network model
- fault diagnosis
- bp neural network
- neural network is trained
- back propagation
- recurrent neural networks
- prediction model
- artificial neural networks
- multilayer perceptron
- formal verification
- verification method
- signature verification
- semidefinite program
- sparse representation
- fuzzy logic
- face verification
- multi layer perceptron
- neural nets
- self organizing maps
- sparsity constraints
- machine learning