Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.
Ben BattenMehran HosseiniAlessio LomuscioPublished in: AISTATS (2024)
Keyphrases
- neural network
- bayesian networks
- posterior probability
- lower bound
- pattern recognition
- upper bound
- maximum likelihood
- model checking
- probabilistic model
- generative model
- bayesian learning
- data driven
- belief networks
- back propagation
- self organizing maps
- neural network model
- optimal solution
- multilayer perceptron
- decision theory
- multi layer perceptron
- bayesian models
- prior probabilities
- probability theory
- high robustness
- gaussian processes
- multi layer
- bayesian inference
- uncertain data
- radial basis function
- worst case
- decision trees
- artificial intelligence
- machine learning