damek / gd-lean
☆17Updated last year
Alternatives and similar repositories for gd-lean:
Users that are interested in gd-lean are comparing it to the libraries listed below
- ☆47Updated 3 weeks ago
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆86Updated 2 months ago
- MATLAB implementation of the Scalable Semidefinite Programming☆26Updated last year
- Differentiation through cone programs☆98Updated 2 months ago
- A matlab implementation for sampling log-concave distributions with polytope constraints☆16Updated 6 months ago
- Fast hyperparameter settings for non-smooth estimators:☆40Updated last year
- Riemannian Optimization Using JAX☆48Updated last year
- 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
- Convex optimization modeling in Lean 4☆44Updated 10 months ago
- ☆80Updated 3 years ago
- ☆12Updated 3 years ago
- Neural network verification in JAX☆141Updated last year
- Website for the book "The Elements of Differentiable Programming".☆13Updated 7 months ago
- [NeurIPS'19] Deep Equilibrium Models Jax Implementation☆39Updated 4 years ago
- Parameter-Free Optimizers for Pytorch☆122Updated 11 months ago
- Scalable Convex Neural Networks☆23Updated 3 weeks ago
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- Adaptive gradient descent without descent☆47Updated 3 years ago
- ☆19Updated 2 years ago
- Turning SymPy expressions into JAX functions☆44Updated 4 years ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆102Updated last week
- An interactive visualization of convex duality (Fenchel conjugate)☆19Updated 4 years ago
- A generic interface for linear algebra backends☆73Updated last month
- Scalable training and inference for Probabilistic Circuits☆57Updated 2 months ago
- ☆99Updated last month
- Multiple dispatch over abstract array types in JAX.☆116Updated this week
- Library for causal and probabilistic inference in Julia☆11Updated 2 months ago
- Stochastic Automatic Differentiation library for PyTorch.☆198Updated 7 months ago
- Agustinus' very opiniated publication-ready plotting library☆63Updated 2 months ago
- Simple tools to mix and match PyTorch and Jax - Get the best of both worlds!☆27Updated last week