TY - BOOK AU - Albarghouthi, Aws TI - Introduction to Neural Network Verification: Aws Albarghouthi SN - 9781680839104 U1 - 006.32 PY - 2021/// CY - Boston PB - NOW Publishers Inc KW - Deep learning (Machine learning)--Neural networks (Computer science) N1 - 1. A New Beginning2. Neural Networks as Graphs3. Correctness Properties4. Logics and Satisfiability5. Encodings of Neural Networks6. DPLL Modulo Theories7. Neural Theory Solvers8. Neural Interval Abstraction9. Neural Zonotope Abstraction10. Neural Polyhedron Abstraction11. Verifying with Abstract Interpretation12. Abstract Training of Neural Networks13. The Challenges Ahead Acknowledgements References ER -