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...