Popular GitHub Repositories for Robustness Verification

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

Formal Verification of Neural Feedback Loops (NFLs)

β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification

[ICLR 2020] Code for paper "Robustness Verification for Transformers"

[NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contribution)

DPLL(T)-based Verification tool for DNNs

[NeurIPS 2021] Towards Better Understanding of Training Certifiably Robust Models against Adversarial Examples | ????