A Unified View of SDP-based Neural Network Verification through Completely Positive Programming.
Robin A. BrownEdward SchmerlingNavid AzizanMarco PavonePublished in: CoRR (2022)
Keyphrases
- neural network
- neural network model
- pattern recognition
- artificial neural networks
- semidefinite programming
- model checking
- positive and negative
- back propagation
- formal verification
- programming language
- neural network is trained
- activation function
- genetic algorithm
- feed forward
- self organizing maps
- fuzzy logic
- network architecture
- multi layer perceptron
- linear programming
- feature selection
- semi definite programming
- fuzzy artmap
- feed forward neural networks
- programming environment
- computer programming
- fault diagnosis
- multi layer
- neural nets
- associative memory
- prediction model