Екатерина Строева - Обзор методов формальной верификации нейронных сетей

Запись семинара от 22 февраля 2023 г. Вопросы и комментарии — в Telegram-чате сообщества NoML: t.me/noml_community Презентация и материалы всех мероприятий — в базе знаний: noml.club Анонсы новых мероприятий и другая полезная информация — в канале сообщества: t.me/noml_digest