Search Results - RepositoryStats

75

287

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 7 months ago

60

245

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

37 commits to main branch, last one 4 months ago

49

114

unknown

7

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,821 commits to master branch, last one about a month 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

77

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 2 months ago