Deriving steepest descent convergence bounds and hyperparameter scaling laws in machine learning optimization from first principles, formalized in LEAN.
☆17Apr 11, 2026Updated 5 months ago
Alternatives and similar repositories for steepest-descent-lean
Users that are interested in steepest-descent-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:
- A package for defining deep learning models using categorical algebraic expressions.☆61Jul 27, 2024Updated 2 years ago
- Detect wildfires using ML on images from cameras on vantage points☆11Sep 5, 2026Updated 3 weeks ago
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆13Aug 9, 2022Updated 4 years ago
- ☆19Mar 4, 2025Updated last year
- [NeurIPS 2023] and [ICLR 2024] for robustness certification.☆10Nov 30, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Oct 27, 2023Updated 2 years ago
- Code for Spectral Norm of Convolutional Layers with Circular and Zero Paddings and Efficient Bound of Lipschitz Constant for Convolutiona…☆16Feb 2, 2024Updated 2 years ago
- ☆13Jul 2, 2024Updated 2 years ago
- ☆29May 11, 2026Updated 4 months ago
- ☆33Jul 17, 2024Updated 2 years ago
- ☆23Dec 3, 2025Updated 10 months ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated 2 years ago
- Sort tailwind className strings by a given order-config☆11Jul 4, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Public-facing codebase accompanying: "Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL"☆38Sep 12, 2026Updated 3 weeks ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 12 years ago
- a simple API to use CUPTI☆10Aug 19, 2025Updated last year
- Fast training of unitary deep network layers from low-rank updates☆30Dec 11, 2022Updated 3 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 3 years ago
- ☆15Apr 14, 2025Updated last year
- Experimental library using modular implicits☆17Sep 25, 2023Updated 3 years ago
- A VS Code extension to ease log reading and analysis☆11Jan 23, 2024Updated 2 years ago
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Aug 3, 2021Updated 5 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- OCaml library to produce vega-lite visualizations (as json objects)☆16Aug 17, 2022Updated 4 years ago
- Chat with Excel / CSV Data.☆14Mar 22, 2024Updated 2 years ago
- Web page for exponent pair database☆14Aug 5, 2024Updated 2 years ago
- The Newton-Muon optimizer☆33Jun 5, 2026Updated 3 months ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated 2 years ago
- Llama2 inference in one file of pure OCaml.☆26Sep 16, 2023Updated 3 years ago
- YASEM - Yet Another Splade|Sparse Embedder - A simple and efficient library for SPLADE embeddings☆13May 22, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 7GUIs implemented in OCaml with LablGtk3☆17Apr 5, 2025Updated last year
- Swift5 ICS Parser, RFC5545 compliant. Nowadays maintained mostly by @superhuman☆11Jun 17, 2020Updated 6 years ago
- Source code for SWIFT, an efficient reward model.☆21Jan 13, 2026Updated 8 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- Jane Street universe☆18Sep 14, 2020Updated 6 years ago