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

[Доступны японские субтитлы] В этом техническом докладе представлена ​​концепция формальной верификации нейронных сетей с использованием интуитивно понятных примеров и инструментов MATLAB®. Рассматриваются два основных подхода к верификации: метод многогранников, который определяет границы рабочего пространства входных и выходных данных с помощью линейных неравенств, но может быть вычислительно затратным; и интервальный метод, который вычислительно проще, но склонен к переоценке границ, что делает его консервативным. Современные алгоритмы, такие как DeepPoly и CROWN, ужесточают границы, распространяя ограничения в обратном направлении внутри сети, что снижает чрезмерную необходимость в обслуживании интервального метода. Deep Learning Toolbox™ поддерживает эти методы, позволяя проводить практическую верификацию сложных сетей для обеспечения надежной и безопасной работы в критически важных системах. Связанные ресурсы См. этот скрипт MATLAB для проверки устойчивости сети: https://tinyurl.com/dz9h8xy4 Справочник DeepPoly: Абстрактная область для сертификации нейронных сетей: https://tinyurl.com/bderdet3 Справочник CROWN: Эффективная сертификация устойчивости нейронных сетей с использованием общих функций активации: https://tinyurl.com/3newvzx6 -------------------------------------------------------------------------------------------------------- О MATLAB: https://bit.ly/2qqoOIR О Simulink: https://bit.ly/388Ysfn Список продуктов MathWorks: https://bit.ly/38jFoNc Список решений MathWorks: https://bit.ly/3ej86BO Изучите MATLAB с помощью бесплатного 2-часового урока: https://bit.ly/3kTP5a8 Проверьте последние версии MATLAB и Simulink: https://bit.ly/2rWZ7js Получите ознакомительную версию, свяжитесь со службой поддержки или отделом продаж: http://tinyurl.com/3mn5e9s2 Запросите расчет стоимости индивидуальной настройки здесь: http://tinyurl.com/376d26hp #ФормальнаяВерификация #ФормальныеМетоды #ПроверкаМоделей © 2026 The MathWorks, Inc. MATLAB и Simulink являются зарегистрированными товарными знаками The MathWorks, Inc. Список дополнительных товарных знаков см. на сайте www.mathworks.com/trademarks. Другие названия продуктов или брендов могут являться товарными знаками или зарегистрированными товарными знаками соответствующих владельцев.