000 | 01077nam a22002057a 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20230131145902.0 | ||
008 | 230131b |||||||| |||| 00| 0 eng d | ||
020 | _a9781680839104 | ||
040 |
_bEnglish _cCentral Library IIT Goa |
||
082 |
_a006.32 _bALB |
||
100 |
_aAlbarghouthi, Aws _92268 |
||
245 |
_aIntroduction to Neural Network Verification/ _bAws Albarghouthi |
||
260 |
_aBoston: _bNOW Publishers Inc, _cc2021 |
||
300 |
_aii,168p. _bill. ; _c24 cm. |
||
440 |
_a Foundations and trends in programming languages _92269 |
||
505 | _a1. 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 | ||
650 |
_aDeep learning (Machine learning)--Neural networks (Computer science) _92270 |
||
942 |
_2ddc _cBK |
||
999 |
_c1525 _d1525 |