Alternatives and similar repositories for gd-lean:

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

• optsuite / optlib
  ☆39Updated last month
• 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…
  ☆53Updated 11 months ago
• gehring / fax
  ☆80Updated 3 years ago
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆85Updated 3 weeks ago
• SaitejaUtpala / rieoptax
  Riemannian Optimization Using JAX
  ☆48Updated last year
• alpyurtsever / SketchyCGAL
  MATLAB implementation of the Scalable Semidefinite Programming
  ☆26Updated last year
• jgorham / SteinDiscrepancy.jl
  Practical tools for quantifying how well a sample approximates a target distribution
  ☆27Updated 4 years ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆45Updated 3 months ago
• cvxgrp / diffcp
  Differentiation through cone programs
  ☆96Updated last week
• diffprog / diffprog.github.io
  Website for the book "The Elements of Differentiable Programming".
  ☆13Updated 5 months ago
• wesselb / lab
  A generic interface for linear algebra backends
  ☆71Updated 7 months ago
• ConstrainedSampler / PolytopeSamplerMatlab
  A matlab implementation for sampling log-concave distributions with polytope constraints
  ☆15Updated 4 months ago
• probcomp / autoimcmc
  Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"
  ☆13Updated 4 years ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆43Updated 3 years ago
• ZIB-IOL / FrankWolfe.jl
  Julia implementation for various Frank-Wolfe and Conditional Gradient variants
  ☆97Updated this week
• cvxgrp / CuClarabel
  ☆15Updated last week
• bremen79 / parameterfree
  Parameter-Free Optimizers for Pytorch
  ☆111Updated 9 months ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆104Updated 8 months ago
• NeilGirdhar / efax
  Exponential families for JAX
  ☆63Updated this week
• lawrennd / jaynes
  Classic papers from Edwin T. Jaynes converted to latex.
  ☆32Updated 2 years ago
• YinTat / optimizationbook
  ☆134Updated 2 weeks ago
• NeilGirdhar / tjax
  Tools for JAX
  ☆44Updated this week
• aterenin / SparseGaussianProcesses.jl
  A Julia implementation of sparse Gaussian processes via path-wise doubly stochastic variational inference.
  ☆33Updated 4 years ago
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆141Updated last year
• AccelerationMethods / AccelerationMonograph
  ☆12Updated 3 years ago
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆39Updated 4 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆43Updated 8 months ago
• cvxgrp / cone_prog_refine
  Cone program refinement
  ☆10Updated 4 years ago
• diffprog / code
  Code for the book "The Elements of Differentiable Programming".
  ☆72Updated this week
• MIT-Lu-Lab / MPAX
  Mathematical Programming in JAX
  ☆58Updated last week