У нас вы можете посмотреть бесплатно Verified Safety with Neural Barrier Functions: From Dynamical Systems to Language Models или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Rising Star Symposium on Cyber-Physical Systems Security, Resilience, and Privacy https://shorturl.at/C3RZy By Hanjiang Hu from Carnegie Mellon University Safety is a fundamental requirement for deploying learning-based systems in the real world. From autonomous vehicles to large language model (LLM) based AI agents, guaranteeing that system trajectories remain within user-specified safety constraints. In this talk, I will present my work on verified safety with neural barrier functions, a unified framework that enables provable safety guarantees from neural dynamical systems to modern foundation models.