Convex Layerwise Adversarial Training (COLT)
☆29Jan 13, 2021Updated 5 years ago
Alternatives and similar repositories for colt
Users that are interested in colt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 3 years 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
- Implementation for Jacobian Adversarially Regularized Networks for Robustness (ICLR 2020)☆22Dec 30, 2019Updated 6 years ago
- Learning Certified Individually Fair Representations☆25Nov 7, 2020Updated 5 years ago
- Source code for the paper "Exploiting Excessive Invariance caused by Norm-Bounded Adversarial Robustness"☆25Feb 12, 2020Updated 6 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.
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated 2 years ago
- SoundnessBench: Evaluating the Soundness of Neural Network Verifiers☆13Jan 7, 2026Updated 9 months ago
- Implementation of Wasserstein adversarial attacks.☆24Jan 2, 2021Updated 5 years ago
- Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network☆61Jun 25, 2019Updated 7 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆88Jul 25, 2024Updated 2 years ago
- Auto-Verify is a framework for neural network verification, that allows you to install, configure and Neural Network verifiers in paralle…☆13Jan 19, 2026Updated 9 months ago
- ☆22Nov 19, 2021Updated 4 years ago
- "Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers" (NeurIPS 2019, previously called "A Stratified Approach …☆17Nov 16, 2019Updated 6 years ago
- Strongest attack against Feature Scatter and Adversarial Interpolation☆25Dec 26, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Dec 21, 2018Updated 7 years ago
- ☆21Jul 16, 2019Updated 7 years ago
- ☆17Aug 21, 2020Updated 6 years ago
- [ICLR 2020] Code for paper "Robustness Verification for Transformers"☆26Nov 26, 2024Updated last year
- Provable Robustness of ReLU networks via Maximization of Linear Regions [AISTATS 2019]☆31Jul 15, 2020Updated 6 years ago
- Pytorch Implementation of APE-GAN☆15Oct 29, 2017Updated 9 years ago
- [NeurIPS 2022] "Adversarial Training with Complementary Labels: On the Benefit of Gradually Informative Attacks"☆13Nov 11, 2022Updated 3 years ago
- ☆48Mar 31, 2020Updated 6 years ago
- A repository of Language Model Vulnerabilities and Exposures (LVEs).☆113Mar 12, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A general method for training cost-sensitive robust classifier☆22May 29, 2019Updated 7 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆347Jan 27, 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
- Public code for a paper "Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks."☆35Dec 18, 2018Updated 7 years ago
- Code for ICLR2020 "Improving Adversarial Robustness Requires Revisiting Misclassified Examples"☆152Oct 15, 2020Updated 6 years ago
- Adversarial Distributional Training (NeurIPS 2020)☆62Mar 17, 2021Updated 5 years ago
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆97Oct 18, 2022Updated 4 years ago
- Analysis of Adversarial Logit Pairing☆61Aug 13, 2018Updated 8 years ago
- [NeurIPS2020] The official repository of "AdvFlow: Inconspicuous Black-box Adversarial Attacks using Normalizing Flows".☆49Oct 3, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code for FAB-attack☆35Jul 10, 2020Updated 6 years ago
- Code for the paper: Learning Adversarially Robust Representations via Worst-Case Mutual Information Maximization (https://arxiv.org/abs/2…☆23Nov 23, 2020Updated 5 years ago
- A collection of PyBullet tutorials☆12Oct 8, 2021Updated 5 years ago
- Understanding and Improving Fast Adversarial Training [NeurIPS 2020]☆97Sep 23, 2021Updated 5 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Mar 20, 2023Updated 3 years ago
- Code for Black-Box Adversarial Attack with Transferable Model-based Embedding☆58Jun 3, 2020Updated 6 years ago
- Codes for reproducing the experimental results in "Proper Network Interpretability Helps Adversarial Robustness in Classification", publi…☆13Jun 29, 2020Updated 6 years ago