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)