Search Results - RepositoryStats

77

290

other

8

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

ibp-bounds robustness crown-bound adversarial-defense adversarial-examples robustness-verification certified-defense-models adversarial-machine-learning

Created 2020-03-02

24 commits to master branch, last one 8 months ago

66

257

other

14

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

robustness neural-networks formal-verification adversarial-examples adversarial-robustness robustness-verification neural-network-verification

Created 2021-06-29

39 commits to main branch, last one 29 days ago

49

115

unknown

8

Neural Network Verification Software Tool

safe-ai autonomy reachability verification safe-autonomy cyber-physical formal-methods hybrid-systems neural-network trustworthy-ai assured-autonomy formal-verification reachability-analysis cyber-physical-systems robustness-verification neural-network-verification neural-network-certification trustworthy-machine-learning

Created 2018-08-20

1,835 commits to master branch, last one 18 days 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).

crown-ibp ibp-bounds robustness crown-bounds verified-errors adversarial-defense adversarial-examples robustness-verification adversarial-machine-learning

Created 2019-06-05

12 commits to master branch, last one 3 years ago

15

79

mit

7

Formal Verification of Neural Feedback Loops (NFLs)

robotics deep-learning control-systems neural-networks adversarial-attacks reachability-analysis robustness-verification

Created 2021-02-17

537 commits to release branch, last one 3 months ago