国际人工智能会议AAAI 2022涵盖了众多最近研究Tutorial报告，来自Huan Zhang等学者共同做了关于神经网络验证研究进展报告，非常值得关注!

地址：
https://neural-network-verification.com/
神经网络已经成为现代人工智能的重要组成部分。然而，它们通常是黑盒，可能会出乎意料地行为，并产生令人惊讶的错误结果，例如对抗的例子。在本教程中，我们将介绍神经网络验证问题，其目的是保证神经网络的特性，如鲁棒性、安全性和正确性。我们的教程涵盖了验证问题的理论基础和最先进算法的介绍。此外，我们还将为用户友好的神经网络验证工具箱提供实践编码教程，允许从业者轻松地将正式的验证技术应用到他们的定制应用中。我们的教程包括在谷歌Colab中编码演示。我们将演示通用的auto_LiRPA库和获奖的α，β-CROWN验证器的使用。
目录内容：

Part I: Introduction to Neural Network Verifier

Part II: Neural Network Verification Algorithms

Part III: Hands-on Tutorial on Using State-of-the-art Verification Tools

内容中包含的图片若涉及版权问题，请及时与我们联系删除