Introduction to Neural Network Verification/ Aws Albarghouthi

By:

Albarghouthi, Aws

Material type: Text

TextSeries: Foundations and trends in programming languagesPublication details: Boston: NOW Publishers Inc, c2021Description: ii,168p. ill. ; 24 cmISBN:

9781680839104

Subject(s):

Deep learning (Machine learning)--Neural networks (Computer science)

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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode	Item holds
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

Browsing IIT Goa Central Library shelves, Collection: Reference Close shelf browser (Hides shelf browser)

								Next
	003.3 WIL An introduction to agent-based modeling : modeling natural, social, and engineered complex systems with NetLogo /	005.133/DOW Think complexity : complexity science and computational modeling /	006.3 RAI Agent-based and individual-based modeling : a practical introduction /	006.32/ ALB Introduction to Neural Network Verification/ Aws Albarghouthi	006.32 /AYY Modern Computer Vision with PyTorch: Explore deep learning and implement over 50 real-world applications/	301 JER System effects : complexity in political and social life /	330.015 ECO Economics with Heterogeneous Interacting Agents : A Practical Guide to Agent-Based Modeling /	Next