Introduction to Neural Network Verification
Introduction to Neural Network Verification
复制标题
DOI：
10.1561/2500000051
复制
发表时间：
2021-09
期刊：
影响因子：
--
通讯作者：
Aws Albarghouthi
中科院分区：
文献类型：
--
作者：
Aws Albarghouthi
深度学习改变了我们对软件的看法以及它可以做什么。但是深层的神经网络脆弱，其行为通常令人惊讶。在许多情况下，我们需要提供有关神经网络的安全性，安全性，正确性或鲁棒性的正式保证。本书涵盖了从正式验证及其适应到有关神经网络和深度学习的推理的基本思想。
Deep learning has transformed the way we think of software and what it can do. But deep neural networks are fragile and their behaviors are often surprising. In many settings, we need to provide formal guarantees on the safety, security, correctness, or robustness of neural networks. This book covers foundational ideas from formal verification and their adaptation to reasoning about neural networks and deep learning.