A Unified View of SDP-based Neural Network Verification through Completely Positive Programming.
Robin A. BrownEdward SchmerlingNavid AzizanMarco PavonePublished in: AISTATS (2022)
Keyphrases
- neural network
- semidefinite programming
- positive and negative
- programming language
- neural network model
- pattern recognition
- formal verification
- model checking
- artificial neural networks
- back propagation
- computer programming
- programming environment
- fuzzy logic
- feed forward neural networks
- face verification
- semi definite programming
- genetic algorithm
- neural nets
- multi layer
- network architecture
- activation function
- fuzzy artmap
- programming course
- verification method
- bp neural network
- recurrent neural networks
- feed forward
- learning tasks
- self organizing maps
- fault diagnosis
- linear programming
- knn