5 results found Sort:

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Created 2020-03-02
24 commits to master branch, last one 6 months ago
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Created 2021-06-29
37 commits to main branch, last one 3 months ago
14
93
bsd-2-clause
10
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
Created 2019-06-05
12 commits to master branch, last one 3 years ago
Formal Verification of Neural Feedback Loops (NFLs)
Created 2021-02-17
537 commits to release branch, last one about a month ago