Albarghouthi, Aws <br/><br/>
Introduction to Neural Network Verification/  Aws Albarghouthi 

 - Boston:  NOW Publishers Inc,  c2021 
 - ii,168p.  ill. ;  24 cm. 
 - Foundations and trends in programming languages .
<br/><br/>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 
<br/><br/><label>ISBN: </label>9781680839104 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Deep learning (Machine learning)--Neural networks (Computer science)
<br/><br/><label>Dewey Class. No.: </label>006.32  / ALB