2 papers
cs.AI2025
Distributionally Robust Statistical Verification with Imprecise Neural Networks
Souradeep Dutta, Michele Caprio, Vivian Lin +5
A particularly challenging problem in AI safety is providing guarantees on the behavior of high-dimensional autonomous systems. Verification approaches centered around reachability…
cs.LG2024
Credal Bayesian Deep Learning
Michele Caprio, Souradeep Dutta, Kuk Jin Jang +4
Uncertainty quantification and robustness to distribution shifts are important goals in machine learning and artificial intelligence. Although Bayesian Neural Networks (BNNs) allow…