damek / gd-leanLinks
☆26Updated 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:
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆88Updated last month
- Folklore facts on probability distribution learning, testing, and whatever-ing☆266Updated last month
- 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
- MATLAB implementation of the Scalable Semidefinite Programming☆26Updated last year
- Neural network verification in JAX☆145Updated 2 years ago
- Differentiation through cone programs☆106Updated 2 months ago
- ☆74Updated 3 weeks ago
- A matlab implementation for sampling log-concave distributions with polytope constraints☆16Updated last year
- Compositional Linear Algebra☆491Updated 2 months ago
- Mathematical Programming in JAX☆106Updated 4 months ago
- ☆102Updated last week
- LaTeX style file for the Journal of Machine Learning Research☆154Updated last year
- Bayesian inference with Python and Jax.☆34Updated 2 years ago
- Website for the book "The Elements of Differentiable Programming".☆14Updated 3 months ago
- ☆12Updated 3 years ago
- Files needed to replicate my research blog☆87Updated 11 months ago
- Efficient, lightweight variational inference and approximation bounds☆45Updated last year
- ☆145Updated 4 months ago
- Matrix-free linear algebra in JAX.☆141Updated 2 weeks ago
- Agustinus' very opiniated publication-ready plotting library☆69Updated 5 months ago
- Methods to soundly verify deep neural networks☆232Updated 5 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆156Updated 11 months ago
- A LinearOperator implementation to wrap the numerical nuts and bolts of GPyTorch☆115Updated last week
- Riemannian Optimization Using JAX☆52Updated last year
- ☆16Updated 4 years ago
- Parameter-Free Optimizers for Pytorch☆130Updated last year
- Multiple dispatch over abstract array types in JAX.☆129Updated 3 weeks ago
- Evaluating Robustness of Neural Networks with Mixed Integer Programming☆117Updated 2 weeks ago
- Fast hyperparameter settings for non-smooth estimators:☆40Updated 2 years ago
- Experimental first-order solvers for linear and quadratic programming.☆119Updated last year