AAAI2022最新「深度神经网络验证」教程报告，100+页PPT阐述理论与实践进展

【导读】国际人工智能会议AAAI 2022论文将在全程线上举办，时间在 2 月 22 日-3 月 1 日，本届大会也将是第 36 届 AAAI 大会。大会涵盖了众多最近研究Tutorial报告，来自Huan Zhang等学者共同做了关于神经网络验证研究进展报告，非常值得关注!

神经网络已经成为现代人工智能的重要组成部分。然而，它们通常是黑盒，可能会出乎意料地行为，并产生令人惊讶的错误结果，例如对抗的例子。在本教程中，我们将介绍神经网络验证问题，其目的是保证神经网络的特性，如鲁棒性、安全性和正确性。我们的教程涵盖了验证问题的理论基础和最先进算法的介绍。此外，我们还将为用户友好的神经网络验证工具箱提供实践编码教程，允许从业者轻松地将正式的验证技术应用到他们的定制应用中。我们的教程包括在谷歌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

地址：

https://neural-network-verification.com/