damek / gd-lean

Related projects ⓘ

Alternatives and complementary repositories for gd-lean

• optsuite / optlib
  ☆35Updated 2 months ago
• PerformanceEstimation / PEPit
  PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.
  ☆81Updated last month
• alpyurtsever / SketchyCGAL
  MATLAB implementation of the Scalable Semidefinite Programming
  ☆26Updated 9 months ago
• cvxgrp / diffcp
  Differentiation through cone programs
  ☆91Updated 2 months ago
• 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…
  ☆52Updated 8 months ago
• MilesCranmer / sympy2jax
  Turning SymPy expressions into JAX functions
  ☆42Updated 3 years ago
• ConstrainedSampler / PolytopeSamplerMatlab
  A matlab implementation for sampling log-concave distributions with polytope constraints
  ☆13Updated last month
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆142Updated last year
• AccelerationMethods / AccelerationMonograph
  ☆12Updated 2 years ago
• NeilGirdhar / efax
  Exponential families for JAX
  ☆55Updated 2 weeks ago
• cvxgrp / cone_prog_refine
  Cone program refinement
  ☆9Updated 4 years ago
• sisl / NeuralVerification.jl
  Methods to soundly verify deep neural networks
  ☆224Updated 10 months ago
• akbir / deq-jax
  [NeurIPS'19] Deep Equilibrium Models Jax Implementation
  ☆37Updated 4 years ago
• bdusell / semiring-einsum
  Generic PyTorch implementation of einsum that supports different semirings
  ☆46Updated 3 months ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆104Updated 4 months ago
• SaitejaUtpala / rieoptax
  Riemannian Optimization Using JAX
  ☆45Updated last year
• NeilGirdhar / tjax
  Tools for JAX
  ☆43Updated 2 weeks ago
• ZIB-IOL / FrankWolfe.jl
  Julia implementation for various Frank-Wolfe and Conditional Gradient variants
  ☆95Updated this week
• gehring / fax
  ☆78Updated 3 years ago
• wesselb / lab
  A generic interface for linear algebra backends
  ☆70Updated 4 months ago
• wangjie212 / TSSOS
  A sparse polynomial optimization tool based on the moment-SOS hierarchy.
  ☆39Updated last month
• jamesvuc / jax-bayes
  Bayesian inference with Python and Jax.
  ☆31Updated last year
• kazukiosawa / ngd_in_wide_nn
  simple JAX-/NumPy-based implementations of NGD with exact/approximate Fisher Information Matrix both in parameter-space and function-spac…
  ☆14Updated 4 years ago
• brentyi / jax_dataclasses
  Pytrees + dataclasses ❤️
  ☆61Updated 4 months ago
• xukai92 / bsp
  ☆19Updated 2 years ago
• pnkraemer / probdiffeq
  Probabilistic solvers for differential equations in JAX. Adaptive ODE solvers with calibration, state-space model factorisations, and cus…
  ☆33Updated last week
• vicariousinc / PGMax
  Loopy belief propagation for factor graphs on discrete variables, in JAX!
  ☆64Updated last month
• alonfnt / bayex
  Minimal Implementation of Bayesian Optimization in JAX
  ☆84Updated 6 months ago
• google / trajax
  ☆200Updated last year
• nikihowe / myriad
  Myriad is a real-world testbed that aims to bridge trajectory optimization and deep learning.
  ☆61Updated last year