Уязвимость нейронных сетей и определение их надежности с помощью формальной верификации | Семинар #2

Это доклад в рамках открытого неклассического семинара от лаборатории машинного обучения ИТМО. На примере задач классификации картинок и нейросетевой маршрутизации научный сотрудник лабораторий «Машинное обучение» и «Технологии программирования», постдок в Университете Аалто Игорь Бужинский расскажет, насколько легко заставить нейросеть ошибиться, незначительно изменив ее вход, а также что с этим делать. Презентация Игоря Бужинского доступна по ссылке: