Report on NSF Workshop on Science of Safe AI
Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina Păsăreanu, René Vidal — 2025-06-24 — NSF SLES Program, University of Pennsylvania — arXiv
Summary
Workshop report synthesizing discussions from NSF’s Safe AI workshop held in February 2025, bringing together SLES program investigators and AI safety researchers to articulate a research agenda for developing theory, methods, and tools for safe and trustworthy AI-enabled systems.
Source
- Link: https://arxiv.org/abs/2506.22492
- Listed in the Shallow Review of Technical AI Safety 2025 under 1 agenda(s):
- guaranteed-safe-ai — Safety by construction