75 citations · 93 across the 17 of their papers we have counts for
6 papers · 1 filter
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta +2
Autonomous systems are increasingly implemented using end-to-end learning-based controllers. Such controllers make decisions that are executed on the real system, with images as on…
Memory-Consistent Neural Networks for Imitation Learning
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman +2
Imitation learning considerably simplifies policy synthesis compared to alternative approaches by exploiting access to expert demonstrations. For such imitation policies, errors aw…
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…
Using Semantic Information for Defining and Detecting OOD Inputs
Ramneet Kaur, Xiayan Ji, Souradeep Dutta +5
As machine learning models continue to achieve impressive performance across different tasks, the importance of effective anomaly detection for such models has increased as well. I…
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…
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…