Formal verification of deep neural networks

• Datum: 2024
• 1. Verfasser: Panchuk, B.O.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2024
• Schlagworte: neural networks; formal verification; satisfiability modulo theories; constraints satisfaction; intrusion detection systems; network traffic analysis; UDC 004.415.52; 004.89; 004.492
• Online Zugang: 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...