5 results found Sort:
- Filter by Primary Language:
- Python (4)
- MATLAB (1)
- +
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
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 28 days ago
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