most citedDistributionally Robust Statistical Verification with Imprecise Neural Networks

4 citations · 4 across the 5 of their papers we have counts for

collaborators

5 papers

cs.LG2025

Pattern-Guided Diffusion Models

Vivian Lin, Kuk Jin Jang, Wenwen Si +1

Diffusion models have shown promise in forecasting future data from multivariate time series. However, few existing methods account for recurring structures, or patterns, that appe…

cs.LG2025

Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems

Vivian Lin, Insup Lee

With the known vulnerability of neural networks to distribution shift, maintaining reliability in learning-enabled cyber-physical systems poses a salient challenge. In response, ma…

cs.LG2025

Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios

Vivian Lin, Ramneet Kaur, Yahan Yang +6

The safety of learning-enabled cyber-physical systems is compromised by the well-known vulnerabilities of deep neural networks to out-of-distribution (OOD) inputs. Existing literat…

cs.AI2023★ 4 cited

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.LG2023

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…