Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.
Ben BattenMehran HosseiniAlessio LomuscioPublished in: CoRR (2024)
Keyphrases
- neural network
- posterior probability
- bayesian networks
- lower bound
- pattern recognition
- prior probabilities
- probabilistic model
- upper bound
- model checking
- neural network model
- back propagation
- data driven
- artificial neural networks
- bayesian estimation
- decision theory
- probabilistic reasoning
- fuzzy systems
- recurrent neural networks
- fuzzy logic
- bayesian models
- face verification
- uncertain data
- conditional probabilities
- information theoretic
- graphical models
- multilayer perceptron
- feed forward
- bayesian inference
- latent variables
- worst case
- computational efficiency
- formal methods
- probabilistic logic
- self organizing maps
- fault diagnosis