[NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
☆29Dec 10, 2023Updated 2 years ago
Alternatives and similar repositories for Local-Lipschitz-Constants
Users that are interested in Local-Lipschitz-Constants are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Jan 27, 2023Updated 3 years ago
- Mixed integer programming for computing lipschitz constants of ReLU Networks☆17Feb 10, 2023Updated 3 years ago
- auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs☆358Oct 10, 2026Updated 3 weeks ago
- ☆12Jan 9, 2024Updated 2 years ago
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆13Aug 9, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Learning ReLU INRs with B-spline wavelets.☆14Jun 5, 2024Updated 2 years ago
- ☆17Aug 2, 2022Updated 4 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆25Oct 14, 2026Updated 2 weeks ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆99Jun 7, 2021Updated 5 years ago
- Notebooks for managing NeurIPS 2014 and analysing the NeurIPS experiment.☆13May 22, 2024Updated 2 years ago
- Attack AlphaZero Go agents (NeurIPS 2022)☆22Dec 3, 2022Updated 3 years ago
- ☆11Nov 21, 2022Updated 3 years ago
- Some codes and studies of regularization and normalization in GANs☆14Oct 14, 2021Updated 5 years ago
- ☆16Aug 15, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [ICML 2022] "Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable Robustness" by Tianlong Chen*, Huan Zhang*, Zhenyu Zhang, Shiyu…☆16Jun 22, 2022Updated 4 years ago
- [NeurIPS 2021] Fast Certified Robust Training with Short Warmup☆25Jun 7, 2025Updated last year
- [ICLR 2022] "Sparsity Winning Twice: Better Robust Generalization from More Efficient Training" by Tianlong Chen*, Zhenyu Zhang*, Pengjun…☆40Mar 20, 2022Updated 4 years ago
- ☆16Jun 26, 2021Updated 5 years ago
- Athena: A Framework for Defending Machine Learning Systems Against Adversarial Attacks☆44Sep 23, 2021Updated 5 years ago
- Fork of Microsoft/LightGBM to include support for the CEGB (Cost Efficient Gradient Boosting) algorithm. Original repository at https://g…☆13Jun 30, 2017Updated 9 years ago
- Exact real arithmetic using Dedekind cuts☆11Updated this week
- Standardized API for multivariate polynomial bases based on the MultivariatePolynomials.jl API.☆12Updated this week
- Torch interface to HDF5 library☆10Feb 13, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…☆27Jun 15, 2019Updated 7 years ago
- A package for compositional system analysis and design☆36Aug 16, 2026Updated 2 months ago
- ☆13Jun 23, 2026Updated 4 months ago
- In this project I implemented the Unscented Kalman Filter to estimate the state of multiple cars on a highway using noisy lidar and radar…☆12Feb 21, 2020Updated 6 years ago
- Morphence: An implementation of a moving target defense against adversarial example attacks demonstrated for image classification models …☆23Aug 9, 2024Updated 2 years ago
- ☆10May 28, 2025Updated last year
- Code for Stability Training with Noise (STN)☆21Dec 27, 2020Updated 5 years ago
- CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…☆18Nov 29, 2018Updated 7 years ago
- ☆11Sep 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LipSDP - Lipschitz Estimation for Neural Networks☆74Mar 7, 2022Updated 4 years ago
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆13Jun 19, 2016Updated 10 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated 2 years ago
- Code for Bag of Tricks for Fully Test-Time Adaptation☆10Oct 27, 2023Updated 3 years ago
- Group Lasso package for Python.☆16Sep 12, 2023Updated 3 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- This repo is the official implementation of the ICLR'23 paper "Towards Robustness Certification Against Universal Perturbations." We calc…☆12Feb 14, 2023Updated 3 years ago