Verifying Neural Networks with SMT: An Experimental Evaluation
Dario Guidotti, Laura Pandolfo, Luca Pulina · 2023
The popularity of neural networks has grown significantly in various domains, however their use in safety-critical areas has been restricted due to reliability concerns. The AIDOaRt project, an H2020-ECSEL European initiative, aims to develop dependable neural networks for safety-critical contexts. This work investigates the application of Satisfiability Modulo Theory technologies to verify neural networks with non-linear activation functions in computer vision tasks.