Mixed integer programming for computing lipschitz constants of ReLU Networks
☆17Feb 10, 2023Updated 3 years ago
Alternatives and similar repositories for lipMIP
Users that are interested in lipMIP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LipSDP - Lipschitz Estimation for Neural Networks☆74Mar 7, 2022Updated 4 years ago
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆29Dec 10, 2023Updated 2 years ago
- PyTorch-based library for various kinds of representational-similarity analysis☆26Jun 7, 2024Updated 2 years ago
- ☆59Mar 29, 2023Updated 3 years ago
- Official implementation for Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds (NeurIPS, 2021).☆25Sep 4, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Geometric Certifications of Neural Nets☆42Nov 22, 2022Updated 3 years ago
- CLI tool to move Neptune experiments (version 2.x or 3.x) to disk as parquet + files, with an option to load them into alternative suppor…☆10Mar 3, 2026Updated 7 months ago
- This code is no longer maintained. The codebase has been moved to https://github.com/scikit-learn-contrib/skglm. This repository only ser…☆18Nov 29, 2022Updated 3 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated 3 months ago
- Generating, validating and running exploitable verifiable coding problems☆15Sep 30, 2026Updated last month
- This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagatio…☆16Oct 6, 2025Updated last year
- Effective Attention Sheds Light On Interpretability - Findings of ACL2021☆11May 16, 2021Updated 5 years ago
- The code used in the paper "First principles physics-informed neural network for quantum wavefunctions and eigenvalue surfaces"☆13Nov 20, 2022Updated 3 years ago
- Scalable Computation of Hessian Diagonals☆14Jun 2, 2024Updated 2 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.
- code for EMNLP 2024 paper: How do Large Language Models Learn In-Context? Query and Key Matrices of In-Context Heads are Two Towers for M…☆13Nov 17, 2024Updated last year
- Code accompanying the LMI paper☆11Oct 16, 2024Updated 2 years ago
- A powerful white-box adversarial attack that exploits knowledge about the geometry of neural networks to find minimal adversarial perturb…☆12Aug 5, 2020Updated 6 years ago
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆13Jun 19, 2016Updated 10 years ago
- MDL Complexity computations and experiments from the paper "Revisiting complexity and the bias-variance tradeoff".☆18Jun 12, 2023Updated 3 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 6 years ago
- Code for the WWW21 paper "Not All Features Are Equal: Discovering Essential Features for Preserving Prediction Privacy"☆12Feb 15, 2021Updated 5 years ago
- ☆10Jun 1, 2022Updated 4 years ago
- CROWN: A Neural Network Verification Framework for Networks with General Activation Functions☆39Dec 13, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Coordinate Descent Fuzzy Twin Support Vector Machine for Classification☆11Jan 13, 2018Updated 8 years ago
- ☆11Mar 5, 2024Updated 2 years ago
- Code for replicating experiments from the paper, Preference Exploration for Efficient Bayesian Optimization with Multiple Outcomes, publi…☆14Jun 22, 2023Updated 3 years ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- 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
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆13Aug 9, 2022Updated 4 years ago
- Code for Accelerated Linearized Laplace Approximation for Bayesian Deep Learning (ELLA, NeurIPS 22')☆17Oct 12, 2022Updated 4 years ago
- ☆15Feb 24, 2022Updated 4 years ago
- Library to compute kinematics, inverse kinematics and dynamics for N-dof robotics systems based on Denavit-Hartenberg convention.☆18Oct 28, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Jan 9, 2024Updated 2 years ago
- VNN Neural Network Verification Competition 2021☆36Jul 17, 2021Updated 5 years ago
- ☆12Mar 7, 2024Updated 2 years ago
- ☆13Feb 17, 2025Updated last year
- ☆16Mar 3, 2024Updated 2 years ago
- HSML Dynamic version for ICML 2019☆12Jul 11, 2019Updated 7 years ago
- Code for our paper "Prune and Replace NAS"☆17Jun 26, 2019Updated 7 years ago