OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.
Vahid HashemiPanagiotis KouvarosAlessio LomuscioPublished in: SEFM (2021)
Keyphrases
- neural network
- lower bound
- pattern recognition
- upper bound
- artificial neural networks
- model checking
- neural network model
- posterior marginals
- worst case
- fuzzy systems
- face verification
- web services
- back propagation
- self organizing maps
- formal verification
- feed forward
- multi layer
- functional verification
- competitive learning
- formal analysis
- activation function
- multi layer perceptron
- optimal solution
- decision making
- error bounds
- database
- case study