Alternatives and similar repositories for gd-lean:

Users that are interested in gd-lean are comparing it to the libraries listed below

• optsuite / optlib
  ☆41Updated 2 months ago
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆85Updated last month
• alpyurtsever / SketchyCGAL
  MATLAB implementation of the Scalable Semidefinite Programming
  ☆26Updated last year
• PerformanceEstimation / Performance-Estimation-Toolbox
  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
• QB3 / sparse-ho
  Fast hyperparameter settings for non-smooth estimators:
  ☆39Updated last year
• AccelerationMethods / AccelerationMonograph
  ☆12Updated 3 years ago
• SaitejaUtpala / rieoptax
  Riemannian Optimization Using JAX
  ☆48Updated last year
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆44Updated 9 months ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆46Updated 4 months ago
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆39Updated 4 years ago
• bremen79 / parameterfree
  Parameter-Free Optimizers for Pytorch
  ☆122Updated 10 months ago
• ConstrainedSampler / PolytopeSamplerMatlab
  A matlab implementation for sampling log-concave distributions with polytope constraints
  ☆15Updated 5 months ago
• diffprog / code
  Code for the book "The Elements of Differentiable Programming".
  ☆76Updated last month
• cvxgrp / diffcp
  Differentiation through cone programs
  ☆97Updated last month
• diffprog / diffprog.github.io
  Website for the book "The Elements of Differentiable Programming".
  ☆13Updated 6 months ago
• gehring / fax
  ☆80Updated 3 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated 9 months ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆44Updated 4 years ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆141Updated last year
• pnkraemer / probdiffeq
  Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…
  ☆41Updated last week
• cvxgrp / cone_prog_refine
  Cone program refinement
  ☆10Updated 5 years ago
• bodono / scs-python
  Python interface for SCS
  ☆43Updated 2 weeks ago
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆142Updated 5 months ago
• YinTat / optimizationbook
  ☆134Updated this week
• JmlrOrg / jmlr-style-file
  LaTeX style file for the Journal of Machine Learning Research
  ☆122Updated 8 months ago
• NeilGirdhar / tjax
  Tools for JAX
  ☆45Updated last week
• pilancilab / convex_nn
  ☆13Updated 3 years ago
• xukai92 / bsp
  ☆19Updated 2 years ago
• xl0 / lovely-jax
  JAX Arrays for human consumption
  ☆90Updated last year
• cvxgrp / a2dr
  Anderson accelerated Douglas-Rachford splitting
  ☆29Updated 4 years ago