damek / gd-leanLinks
☆24Updated last year
Alternatives and similar repositories for gd-lean
Users that are interested in gd-lean are comparing it to the libraries listed below
Sorting:
- MATLAB implementation of the Scalable Semidefinite Programming☆26Updated last year
- Folklore facts on probability distribution learning, testing, and whatever-ing☆263Updated 5 months ago
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆88Updated this week
- Code of the Performance Estimation Toolbox (PESTO) whose aim is to ease the access to the PEP methodology for performing worst-case analy…☆54Updated last year
- A matlab implementation for sampling log-concave distributions with polytope constraints☆16Updated 10 months ago
- ☆12Updated 3 years ago
- ☆61Updated 2 months ago
- Fast hyperparameter settings for non-smooth estimators:☆40Updated 2 years ago
- ☆142Updated last month
- LaTeX style file for the Journal of Machine Learning Research☆143Updated last year
- Neural network verification in JAX☆145Updated last year
- Differentiation through cone programs☆102Updated 3 weeks ago
- Benchmark for bi-level optimization solvers☆48Updated 2 months ago
- ☆103Updated last month
- Python Algorithms for Randomized Linear Algebra☆55Updated 2 years ago
- Methods to soundly verify deep neural networks☆230Updated 3 months ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆117Updated 2 weeks ago
- Mathematical Programming in JAX☆101Updated 2 months ago
- ☆15Updated 4 years ago
- ASDL: Automatic Second-order Differentiation Library for PyTorch☆188Updated 8 months ago
- A LinearOperator implementation to wrap the numerical nuts and bolts of GPyTorch☆112Updated 4 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆154Updated 9 months ago
- An interactive visualization of convex duality (Fenchel conjugate)☆20Updated 4 years ago
- Sketched matrix decompositions for PyTorch☆70Updated this week
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆111Updated this week
- Experimental first-order solvers for linear and quadratic programming.☆117Updated last year
- Combinatorial optimization layers for machine learning pipelines☆126Updated 3 weeks ago
- Anderson accelerated Douglas-Rachford splitting☆29Updated 4 years ago
- Agustinus' very opiniated publication-ready plotting library☆67Updated 3 months ago
- Posterior with interesting shapes from actually used models☆13Updated 5 months ago