Part 2 of 2: An approach to formal verification of neural networks in detail.
If you want to read this article in English click here. An Approach to Formal Verification of Neural Networks in Detail In the first part of this blog, we described the following task in detail: "How can human-understandable security criteria for...
Part 1: Introduction to constraint-based formal verification of neural networks.
If you want to read this article in English click here. Introduction to Constraint-Based Formal Verification of Neural Networks Artificial Intelligence (AI) has already proven useful in many domains and has become an important tool in some areas, such as computer...