# Verification of Neural Networks (Lecture Notes)

arXiv: https://arxiv.org/abs/2604.25733 · HTML: https://mlsanity.com/paper/2604.25733/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 0 of its 57 references that are in the map.
- First posted on arXiv 28 Apr 2026.

## Abstract (arXiv)

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.