The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation for formalizing ML theory.
☆57Mar 5, 2026Updated 3 weeks ago
Alternatives and similar repositories for lean-stat-learning-theory
Users that are interested in lean-stat-learning-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆46Feb 23, 2026Updated last month
- Central limit theorem in Lean☆16Mar 4, 2026Updated 3 weeks ago
- Any-Order GPT as Masked Diffusion Model: Decoupling Formulation and Architecture. Training an MDM using GPT with this repo!☆35Jun 23, 2025Updated 9 months ago
- Introduction to Bayesian Econometrics☆14Nov 6, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 5 months ago
- [NeurIPS 2025] Reward-Instruct: A Reward-Centric Approach to Fast Photo-Realistic Image Generation☆35Oct 24, 2025Updated 5 months ago
- This repository is the implementation of Deep Dirichlet Process Mixture Models (UAI 2022)☆14May 19, 2022Updated 3 years ago
- ☆35Aug 19, 2024Updated last year
- ☆12Feb 15, 2024Updated 2 years ago
- Pricing and Analysis of Financial Derivative by Credit Suisse using Monte Carlo, Geometric Brownian Motion, Heston Model, CIR model, est…☆31Aug 12, 2024Updated last year
- Elucidating The Design Space of Classifier-Guided Diffusion Generation☆33Jan 20, 2024Updated 2 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆16Mar 27, 2024Updated last year
- Martingale Posteriors with Copulas☆23Mar 19, 2024Updated 2 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.
- Compressible Dynamics in Deep Overparameterized Low-Rank Learning & Adaptation (ICML'24 Oral)☆12Jul 22, 2024Updated last year
- bvar with om☆14Aug 9, 2021Updated 4 years ago
- Extension to multivariate unconstrained monotonic functions.☆12Feb 7, 2020Updated 6 years ago
- An open-source education tool for constructing modeling datasets of railway transportation☆18Apr 16, 2022Updated 3 years ago
- Code to accompany the paper "Pricing Uncertainty Induced by Climate Change"☆19Dec 17, 2021Updated 4 years ago
- [AISTATS2020] The official repository of "Invertible Generative Modling using Linear Rational Splines (LRS)".☆20May 12, 2023Updated 2 years ago
- Caliendo and Parro (2015) quantitative trade model in R.☆13Nov 21, 2024Updated last year
- ☆59Dec 1, 2025Updated 3 months ago
- ☆38Aug 7, 2025Updated 7 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- US equity (portfolio) characteristics, the main file is in SAS.☆20Dec 21, 2023Updated 2 years ago
- source code for paper "Riemannian Preconditioned LoRA for Fine-Tuning Foundation Models"☆34Jun 20, 2024Updated last year
- [ICLR 2025] You Only Sample Once: Taming One-Step Text-To-Image Synthesis by Self-Cooperative Diffusion GANs☆71Mar 7, 2026Updated 2 weeks ago
- ☆16Jun 24, 2024Updated last year
- The code in this repository follows the paper "Stochastic gradient MCMC"☆26Jul 16, 2019Updated 6 years ago
- Code of the NVIDIA winning solution to the 2nd OGB-LSC at the NeurIPS 2022 challenge with dataset PCQM4Mv2☆17Nov 25, 2022Updated 3 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last month
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago
- Two Stones Hit One Bird: Bilevel Positional Encoding for Better Length Extrapolation, ICML 2024☆22Jun 26, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Lean Computer Science Library (CSLib)☆440Updated this week
- Source code for Bazdresch, Kahn, Whited "Estimating and Testing Dynamic Corporate Finance Models"☆24Jul 22, 2017Updated 8 years ago
- Construction of a Brownian Motion in Lean☆45Mar 19, 2026Updated last week
- A sumary of MoE experimental setups across a number of different papers.☆16Feb 16, 2023Updated 3 years ago
- Python implementation of Bayesian Probabilistic matrix Factorization algorithm.☆28May 6, 2018Updated 7 years ago
- a deep recurrent model for exchangeable data☆34Jul 1, 2020Updated 5 years ago
- ☆28Mar 19, 2026Updated last week