Introduction to Neural Network Verification

ISBN-13: 9781680839104 / Angielski / Miękka / 2021 / 182 str.

Aws Albarghouthi

Spis treści

• 1. A New Beginning
• 2. Neural Networks as Graphs
• 3. Correctness Properties
• 4. Logics and Satisfiability
• 5. Encodings of Neural Networks
• 6. DPLL Modulo Theories
• 7. Neural Theory Solvers
• 8. Neural Interval Abstraction
• 9. Neural Zonotope Abstraction
• 10. Neural Polyhedron Abstraction
• 11. Verifying with Abstract Interpretation
• 12. Abstract Training of Neural Networks
• 13. The Challenges Ahead
• Acknowledgements
• References