CHOP: An optimization library based on PyTorch, with applications to adversarial examples and structured neural network training.
☆79Mar 4, 2024Updated 2 years ago
Alternatives and similar repositories for chop
Users that are interested in chop are comparing it to the libraries listed below
Sorting:
- Neural Fixed-Point Acceleration for Convex Optimization☆29Oct 6, 2022Updated 3 years ago
- A Python library for mathematical optimization☆141Sep 27, 2024Updated last year
- ☆26Dec 14, 2023Updated 2 years ago
- Differentiation through cone programs☆117Jan 26, 2026Updated last month
- Quasi-Newton Algorithm for Stochastic Optimization☆11May 20, 2022Updated 3 years ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- ☆213Jan 31, 2022Updated 4 years ago
- Source code for ICLR 2020 paper: "Learning to Guide Random Search"☆40Sep 2, 2024Updated last year
- El0ps: An Exact L0-Problem Solver☆13Jan 6, 2026Updated 2 months ago
- Geometric Certifications of Neural Nets☆42Nov 22, 2022Updated 3 years ago
- A Fast sketching based solver for large scale ridge regression☆17Jun 7, 2024Updated last year
- Public Release of Plan2vec Implementation in pyTorch☆57Oct 28, 2022Updated 3 years ago
- ☆13Feb 4, 2026Updated last month
- Neural network verification in JAX☆144Aug 18, 2023Updated 2 years ago
- Code for the paper "Evading Black-box Classifiers Without Breaking Eggs" [SaTML 2024]☆21Apr 15, 2024Updated last year
- A Leaderboard for Certifiable Robustness against Adversarial Patch Attacks☆20Oct 30, 2023Updated 2 years ago
- Hardware accelerated, batchable and differentiable optimizers in JAX.☆1,030Dec 17, 2025Updated 3 months ago
- MDL Complexity computations and experiments from the paper "Revisiting complexity and the bias-variance tradeoff".☆18Jun 12, 2023Updated 2 years ago
- Implementation of Receding Horizon Curiosity Algrithm☆13Mar 24, 2023Updated 2 years ago
- ☆32Sep 2, 2024Updated last year
- A minimal implementation of a VAE with BinConcrete (relaxed Bernoulli) latent distribution in TensorFlow.☆22Feb 1, 2020Updated 6 years ago
- ☆108Dec 27, 2022Updated 3 years ago
- ☆80Sep 4, 2021Updated 4 years ago
- Python code of the paper "Model structures and fitting criteria for system identification with neural networks" by Marco Forgione and Dar…☆21Sep 2, 2021Updated 4 years ago
- Diagnosing Vulnerability of Variational Auto-Encoders to Adversarial Attacks☆13Feb 15, 2022Updated 4 years ago
- An empirical investigation of deep learning theory☆16Oct 3, 2019Updated 6 years ago
- The Differentiable Cross-Entropy Method☆125Aug 14, 2020Updated 5 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Apr 10, 2021Updated 4 years ago
- Inference on non-linear dynamical systems written in JAX☆11Aug 20, 2020Updated 5 years ago
- Explainable Reasoning over Knowledge Graphs for Recommendation, AAAI2019☆15Jan 23, 2019Updated 7 years ago
- Discrete Normalizing Flows implemented in PyTorch☆115Oct 4, 2021Updated 4 years ago
- Tutorial on amortized optimization for learning to optimize over continuous domains☆248Oct 5, 2025Updated 5 months ago
- Differentiable convex optimization layers☆2,069Mar 12, 2026Updated last week
- Proximal algorithms made easy in Python☆58Feb 7, 2017Updated 9 years ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆430Nov 22, 2022Updated 3 years ago
- Code for Adversarial Example Games NeurIPS 2020 Paper☆27Nov 27, 2024Updated last year
- Minimum-distortion embedding with PyTorch☆581Feb 26, 2026Updated 3 weeks ago
- Framework-agnostic library for checking array/tensor shapes at runtime.☆46May 4, 2021Updated 4 years ago
- AlgoPy is a Research Prototype for Algorithmic Differentation in Python☆88Jul 7, 2024Updated last year