Formal verification of deep neural networks

• Дата: 2024
• Автор: Panchuk, B.O.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: PROBLEMS IN PROGRAMMING 2024
• Теми: neural networks; formal verification; satisfiability modulo theories; constraints satisfaction; intrusion detection systems; network traffic analysis; UDC 004.415.52; 004.89; 004.492
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/644
• Назва журналу: Problems in programming

This paper introduces a method for the formal verification of neural networks using a Satisfiability Modulo Theories (SMT) solver. This approach enables the mathematical validation of specific neural network properties, enhancing their predictability. We propose a method for simplifying a neural net...