The term „verification of neural networks“ is primarily found in the fields of artificial intelligence, automation, and cybersecurity. It describes methods and processes used to check whether artificial intelligences – in other words, neural networks – are actually doing what they are supposed to do.
Neural networks are used, for example, in autonomous driving to recognise traffic signs or pedestrians. Verification checks whether the system operates safely and also reacts correctly in unusual situations. This prevents the AI from making mistakes that could lead to dangerous situations.
A simple example: A neural network is to recognise cats in photos consistently. Verification checks whether the AI truly recognises all possible cats, even if they look different or the background changes. Furthermore, one checks that the system does not accidentally mistake dogs for cats.
The verification of neural networks is particularly important in safety-critical applications to build trust. Companies and users want to be sure that the AI functions reliably and that unintended errors are excluded. Therefore, the verification of neural networks is becoming increasingly important as intelligent systems are used more widely in our everyday lives.
Deutsch 
English (UK)