Projects in Awesome Lists by Verified-Intelligence
A curated list of projects in awesome lists by Verified-Intelligence .
https://github.com/Verified-Intelligence/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
adversarial-defense adversarial-examples adversarial-machine-learning certified-defense-models crown-bound ibp-bounds robustness robustness-verification
Last synced: 21 May 2026
https://github.com/Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
adversarial-examples adversarial-robustness neural-network-verification neural-networks robustness robustness-verification
Last synced: 21 May 2026