Image from Google Jackets

Introduction to Neural Network Verification/ Aws Albarghouthi

By: Material type: TextTextSeries: Foundations and trends in programming languagesPublication details: Boston: NOW Publishers Inc, c2021Description: ii,168p. ill. ; 24 cmISBN:
  • 9781680839104
Subject(s): DDC classification:
  • 006.32 ALB
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode Item holds
Reference Reference IIT Goa Central Library Reference 006.32/ ALB (Browse shelf(Opens below)) Reference TB2103||07-11-2022|27.50%||USD 99.00 4105
Total holds: 0

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

© 2021 Managed and maintained by Central Library, IIT Goa