Report on NSF Workshop on Science of Safe AI
Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina P\u{a}s\u{a}reanu, and Ren\'e Vidal

TL;DR
This report summarizes a workshop on AI safety, emphasizing the need for developing trustworthy, safe AI systems through new theories, methods, and tools, especially for autonomous and interactive AI applications.
Contribution
It presents a new research agenda focused on foundational theories, methods, and tools to enhance the safety and trustworthiness of AI systems.
Findings
Identified key challenges in AI safety and trustworthiness.
Highlighted the importance of developing theoretical foundations.
Outlined future research directions for safe AI development.
Abstract
Recent advances in machine learning, particularly the emergence of foundation models, are leading to new opportunities to develop technology-based solutions to societal problems. However, the reasoning and inner workings of today's complex AI models are not transparent to the user, and there are no safety guarantees regarding their predictions. Consequently, to fulfill the promise of AI, we must address the following scientific challenge: how to develop AI-based systems that are not only accurate and performant but also safe and trustworthy? The criticality of safe operation is particularly evident for autonomous systems for control and robotics, and was the catalyst for the Safe Learning Enabled Systems (SLES) program at NSF. For the broader class of AI applications, such as users interacting with chatbots and clinicians receiving treatment recommendations, safety is, while no less…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdversarial Robustness in Machine Learning · Explainable Artificial Intelligence (XAI) · Artificial Intelligence in Healthcare and Education
