Tight Verification of Probabilistic Robustness in Bayesian Neural Networks.

Ben Batten Mehran Hosseini Alessio Lomuscio

Published 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