Benedikt Bollig

Lecture notes introduce theoretical verification of neural networks

A new set of lecture notes has been published on arXiv, detailing the theoretical aspects of verifying neural networks. The notes cover various neural network architectures, including feed-forward networks, recurrent ne…