Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This lecture note provides a theoretical overview of neural network verification, covering feed-forward, recurrent, and transformer architectures. It synthesizes specification languages for formally defining desired network behavior and algorithmic techniques for verifying these properties. The notes aim to provide a foundation for researchers interested in formally guaranteeing the safety and reliability of neural networks.
Formal verification is no longer just for toy examples: this lecture note compiles the tools to reason about the correctness of modern neural architectures.
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.