Introduction to Neural Network Verification

A book by Aws Albarghouthi

Deep learning has transformed the way we think of software and what it can do. But deep neural networks are fragile and their behaviors are often surprising. In many settings, we need to provide formal guarantees on the safety, security, correctness, or robustness of neural networks. This book covers foundational ideas from formal verification and their adaptation to reasoning about neural networks and deep learning.

📖 Book in PDF
an archival version is at arXiv:2109.10317
Please email me comments, memes, etc.

Part I Neural networks and correctness

1. Neural networks and correctness
2. Neural networks as graphs
3. Correctness properties

Part II Constraint-based verification

4. Logic and satisfiability
5. Encodings of neural networks
6. DPLL modulo theories
7. Neural theory solvers

Part III Abstraction-based verification

8. Neural interval abstraction
9. Neural zonotope abstraction
10. Neural polyhedron abstraction
11. Verification with abstract interpretation
12. Abstract training of neural networks

13. The challenges ahead


Please use the following to cite this book.
  
  @book{albarghouthi-book,
    title = {Introduction to Neural Network Verification},
    author = {Aws Albarghouthi},
    publisher = {verifieddeeplearning.com},
    note = {\url{http://verifieddeeplearning.com}},
    year = {2021},
    eprint={2109.10317},
    archivePrefix={arXiv},
    primaryClass={cs.LG}
  }
  
Last updated