Chordal sparsity for SDP-based neural network verification.
Anton XueLars LindemannRajeev AlurPublished in: Autom. (2024)
Keyphrases
- neural network
- semidefinite programming
- linear programming
- pattern recognition
- high dimensional
- artificial neural networks
- neural network is trained
- model checking
- feed forward
- semi definite programming
- neural network model
- fault diagnosis
- recurrent neural networks
- fuzzy logic
- genetic algorithm
- verification method
- bp neural network
- neural nets
- multi layer perceptron
- face verification
- signature verification
- learning vector quantization
- machine learning