arobey1 / LipSDPLinks
LipSDP - Lipschitz Estimation for Neural Networks
☆68Updated 3 years ago
Alternatives and similar repositories for LipSDP
Users that are interested in LipSDP are comparing it to the libraries listed below
Sorting:
- Mixed integer programming for computing lipschitz constants of ReLU Networks☆16Updated 2 years ago
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆26Updated 5 years ago
- ☆58Updated 2 years ago
- Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).☆24Updated 2 years ago
- Example code for paper "Bilevel Optimization: Nonasymptotic Analysis and Faster Algorithms"☆49Updated 3 years ago
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆160Updated 5 years ago
- csl: PyTorch-based Constrained Learning☆12Updated 3 years ago
- Code for Global Convergence of Block Coordinate Descent in Deep Learning (ICML 2019)☆37Updated 6 years ago
- ☆68Updated 6 months ago
- Benchmark for bi-level optimization solvers☆46Updated last month
- Randomized Smoothing of All Shapes and Sizes (ICML 2020).☆52Updated 4 years ago
- Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…☆96Updated 4 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆105Updated 4 years ago
- (ICML 2023) Feature learning in deep classifiers through Intermediate Neural Collapse: Accompanying code☆15Updated last year
- ☆17Updated 3 years ago
- Contains code for the NeurIPS 2020 paper by Pan et al., "Continual Deep Learning by FunctionalRegularisation of Memorable Past"☆44Updated 4 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆38Updated 6 years ago
- PyTorch implementation of efficient algorithms for DRO with CVaR and Chi-Square uncertainty sets☆59Updated 2 years ago
- Code for Knowledge-Adaptation Priors based on the NeurIPS 2021 paper by Khan and Swaroop.☆16Updated 3 years ago
- Benchmark for LP-relaxed robustness verification of ReLU-networks☆41Updated 6 years ago
- PyTorch implementation of FIM and empirical FIM☆61Updated 6 years ago
- Certifying Some Distributional Robustness with Principled Adversarial Training (https://arxiv.org/abs/1710.10571)☆45Updated 7 years ago
- Example Code for paper "Provably Faster Algorithms for Bilevel Optimization"☆15Updated 3 years ago
- Implementation of SVRG and SAGA optimization algorithms for deep learning topics.☆72Updated 4 years ago
- Code for the paper "Understanding Generalization through Visualizations"☆61Updated 4 years ago
- Distributional and Outlier Robust Optimization (ICML 2021)☆27Updated 3 years ago
- Code Repository for NeurIPS 2021 accepted paper, named "Torwards Gradient-based Bilevel Optimization with non-convex Followers and Beyond…☆10Updated 3 years ago
- Pytorch implementation of KFAC and E-KFAC (Natural Gradient).☆132Updated 5 years ago
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆24Updated last year
- ☆14Updated 4 years ago