Verification of Neural Networks (Lecture Notes)
Benedikt Bollig
cs.LO cs.AI cs.FL
Abstract
These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural networks, attention mechanisms, and transformers, together with specification languages and algorithmic verification techniques.
Topics
Classified with taxonomy v2 on Wed, 2 Sept 2026.