AAAI 2022 Tutorial: "Formal Verification of Deep Neural Networks: Theory and Practice"

Описание к видео AAAI 2022 Tutorial: "Formal Verification of Deep Neural Networks: Theory and Practice"

Slides and coding demos available at http://neural-network-verification.com/
The α,β-CROWN (alpha-beta-CROWN) neural network verifier: https://abcrown.org
The auto_LiRPA library for incomplete verification and training: https://PaperCode.cc/autoLiRPA
Presenters: Huan Zhang (CMU), Kaidi Xu (Drexel), Shiqi Wang (Columbia University) and Cho-Jui Hsieh (UCLA)

Комментарии

Информация по комментариям в разработке

Похожие видео