robustness-verification topic

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

Verified-Intelligence

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

Verified-Intelligence

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

huanzhang12

Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelli...

huanzhang12

This github repository contains the official code for the paper, "Evolving Robust Neural Architectures to Defend from Adversarial Attacks"

shashankkotyan

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

shizhouxing

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

chenhongge

[CCS 2021] TSS: Transformation-specific smoothing for robustness certification

AI-secure

Formal Verification of Neural Feedback Loops (NFLs)

neu-autonomy

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

KaidiXu