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.

翻译：这些讲义从理论角度介绍了神经网络验证的基本概念。我们讨论了前馈神经网络、循环神经网络、注意力机制和Transformer，同时涵盖规范语言与算法验证技术。