☆36Feb 8, 2026Updated last month
Alternatives and similar repositories for gd-lean
Users that are interested in gd-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.☆101Mar 16, 2026Updated last week
- Convert CVXPY expressions to PyTorch expressions☆19Jul 8, 2025Updated 8 months ago
- Pytorch implementation of SuperPolyak subgradient method.☆43Nov 18, 2022Updated 3 years ago
- Code for steering and monitoring with concepts vectors in LLMs. https://arxiv.org/abs/2502.03708☆26Aug 10, 2025Updated 7 months ago
- ☆52Oct 12, 2025Updated 5 months ago
- PyTorch implementation of efficient algorithms for DRO with CVaR and Chi-Square uncertainty sets☆64Oct 21, 2022Updated 3 years ago
- PyTorch utilities for Optimal Power Flow☆29Mar 17, 2025Updated last year
- Machine Learning Course From Scratch☆13Jul 24, 2024Updated last year
- Asynchronous pipeline parallel optimization☆19Feb 2, 2026Updated last month
- ☆30Jun 22, 2020Updated 5 years ago
- Custom solver generator for quadratic objective SOCPs☆12May 2, 2025Updated 10 months ago
- A functional GUI library written in Julia using OpenGL.☆48Mar 15, 2026Updated last week
- This Project focuses on processing legal court decisions and is part of on-going research at New York University. This code is in develop…☆10Jul 17, 2019Updated 6 years ago
- ☆10Aug 5, 2020Updated 5 years ago
- Local AI agents doing physics and research semi-autonomously🐙predates Karpathy's AutoResearch☆63Updated this week
- LCP solver based on Lemke's method.☆13Oct 15, 2022Updated 3 years ago
- Bundle Methods in Julia☆10Sep 4, 2024Updated last year
- Proximal algorithms for nonsmooth optimization in Julia☆140May 24, 2025Updated 10 months ago
- Code for "Approaching Deep Learning through the Spectral Dynamics of Weights"☆13Oct 30, 2024Updated last year
- Presentations of the advanced topics in optimization☆11Oct 30, 2019Updated 6 years ago
- ☆13Jun 18, 2024Updated last year
- Implementation of Bayesian Sets for fast similarity searches.☆14Oct 2, 2011Updated 14 years ago
- Real-Time Crime Index repository☆20Updated this week
- Code for the paper: Network Decoupling: From Regular to Depthwise Separable Convolutions☆13Dec 9, 2018Updated 7 years ago
- Optimize nonsmooth functions with gradient sampling, (ns) BFGS...☆10Feb 11, 2025Updated last year
- ☆13Aug 2, 2023Updated 2 years ago
- NonOpt: Nonconvex, Nonsmooth Optimizer☆19Feb 10, 2026Updated last month
- Prof. S. Boyd's LaTeX Templates☆13Dec 18, 2018Updated 7 years ago
- With GraphSynth, one can design, implement, test, and automatically invoke grammar rules that transform a graph from an initial seed into…☆17Jan 15, 2025Updated last year
- MACKO: Sparse matrix vector multiplication for low sparsity☆33Jan 24, 2026Updated 2 months ago
- HPR-LP: A GPU Solver for Linear Programming☆27Feb 27, 2026Updated 3 weeks ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 10 months ago
- About, prompt-based few-shot learning, Text Generation with Prompting☆13May 9, 2023Updated 2 years ago
- This repository is dedicated for conducting workshop events☆14Dec 12, 2019Updated 6 years ago
- Julia modeling interface to parallel decomposition solver DSP☆12Sep 2, 2022Updated 3 years ago
- Drop in crowdsourcing for your Rails app. Extracted from Free the Files.☆83Apr 30, 2015Updated 10 years ago
- A Low-Rank ADMM Splitting Approach for Semidefinite Programming☆13Jun 18, 2025Updated 9 months ago
- This example builds on the parallel-forall repo separate compilation example by adding CMake to it.☆17Nov 14, 2017Updated 8 years ago
- Clojure RDF Graphs☆27Aug 19, 2016Updated 9 years ago