Showing cs.AIShow all
2 papers · 1 filter
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.AI2025
REGENT: A Retrieval-Augmented Generalist Agent That Can Act In-Context in New Environments
Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman +1
Building generalist agents that can rapidly adapt to new environments is a key challenge for deploying AI in the digital and real worlds. Is scaling current agent architectures the…