Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Однодневный семинар по математической логике
24 июня 2024 г. 14:30–15:00, г. Москва, Покровский бульвар 11, аудитория R205
 


Проверка моделей как средство верификации нейронных сетей

П. П. Соколов
Видеозаписи:
MP4 332.1 Mb
MP4 199.2 Mb
Дополнительные материалы:
Adobe PDF 1.6 Mb

Количество просмотров:
Эта страница:68
Видеофайлы:8
Материалы:9



Аннотация: Проверка моделей — активно использующийся в индустрии подход, основанный на LTL (линейная темпоральная логика) и предназначенный для проверки некоторой системы с конечным числом состояний (программы, микросхемы, ансамбля роботов/механизмов/устройств) на соответствие спецификации, как правило включающей свойства безопасности (недостижимость “опасных” состояний) и витальности (достижимость “хороших” состояний).
С появлением и развитием нейронных сетей, включающих миллионы и миллиарды параметров, неизбежно встаёт вопрос верификации их свойств. В данном докладе мы постараемся произвести обзор современных применений техник проверки моделей к верификации нейронных сетей.

Дополнительные материалы: Соколов.pdf (1.6 Mb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024