auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis L...
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Netw...
Neural Network Verification Software Tool
Certified defense to adversarial examples using CROWN and IBP. Also incl...
Formal Verification of Neural Feedback Loops (NFLs)
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints f...
Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neu...
[ICLR 2020] Code for paper "Robustness Verification for Transformers"