3 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…
cs.LG2024
DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models
Vivian Lin, Kuk Jin Jang, Souradeep Dutta +3
Deep neural networks have repeatedly been shown to be non-robust to the uncertainties of the real world, even to naturally occurring ones. A vast majority of current approaches hav…