robustness-verification
There are 22 repositories under robustness-verification topic.
Verified-Intelligence/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
verivital/nnv
Neural Network Verification Software Tool
huanzhang12/CROWN-IBP
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
neu-autonomy/nfl_veripy
Formal Verification of Neural Feedback Loops (NFLs)
KaidiXu/Beta-CROWN
β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
chenhongge/treeVerification
[NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contribution)
huanzhang12/RecurJac-and-CROWN
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-Intelligence/auto_LiRPA instead]
shizhouxing/Robustness-Verification-for-Transformers
[ICLR 2020] Code for paper "Robustness Verification for Transformers"
AI-secure/semantic-randomized-smoothing
[CCS 2021] TSS: Transformation-specific smoothing for robustness certification
shashankkotyan/RobustArchitectureSearch
This github repository contains the official code for the paper, "Evolving Robust Neural Architectures to Defend from Adversarial Attacks"
dynaroars/neuralsat
DPLL(T)-based Verification tool for DNNs
tcwangshiqi-columbia/GCP-CROWN
The official repo for GCP-CROWN paper
alwaysbyx/NN-verification
certifying robustness of neural network via convex optimization
sungyoon-lee/LossLandscapeMatters
[NeurIPS 2021] Towards Better Understanding of Training Certifiably Robust Models against Adversarial Examples | ⛰️⚠️
teobaluta/provero
Sampling-based Scalable Quantitative Verification for DNNs
saralajew/robust_NPCs
Fast Adversarial Robustness Certification of Nearest Prototype Classifiers for Arbitrary Seminorms [NeurIPS 2020]
UQ-Trust-Lab/WraLU
An algorithm to calculate the convex hull of ReLU function for neural network verification.
shashankkotyan/DualQualityAssessment
This github repository contains the official code for the papers, "Robustness Assessment for Adversarial Machine Learning: Problems, Solutions and a Survey of Current Neural Networks and Defenses" and "One Pixel Attack for Fooling Deep Neural Networks"
shizhouxing/ViT_vnncomp2023
Benchmark for formally verifying ViTs
AI4LIFE-GROUP/average-case-robustness
Characterizing Data Point Vulnerability via Average-Case Robustness, UAI 2024
BjoernLudwigPTB/lp_nn_robustness_verification
This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the robustness verification portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".