[ICML2026] 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.
☆86May 3, 2026Updated last month
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:
- ☆36Mar 7, 2025Updated last year
- Official repository Flash Local Linear Attention☆36May 28, 2026Updated 2 weeks ago
- Patent Classification with Machine Learning☆17Sep 25, 2019Updated 6 years ago
- [NeurIPS 2025] Reward-Instruct: A Reward-Centric Approach to Fast Photo-Realistic Image Generation☆35Oct 24, 2025Updated 7 months ago
- Scalable PCA (sPCA) is a scalable implementation of Principal component analysis algorithm on top of Spark☆12May 12, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This repository is the implementation of Deep Dirichlet Process Mixture Models (UAI 2022)☆15May 19, 2022Updated 4 years ago
- AAAI2025☆13Apr 18, 2025Updated last year
- ☆11Dec 8, 2020Updated 5 years ago
- Forecasting Macroeconomic Parameters with Deep Learning Neural Networks - Final Year Peoject☆13Jun 11, 2018Updated 8 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆16Mar 27, 2024Updated 2 years ago
- Use machine learning to evaluate past economic data and predict the probability of a future recession.☆14Nov 24, 2019Updated 6 years ago
- Martingale Posteriors with Copulas☆24Mar 19, 2024Updated 2 years ago
- Compressible Dynamics in Deep Overparameterized Low-Rank Learning & Adaptation (ICML'24 Oral)☆12Jul 22, 2024Updated last year
- This is the official repository for the ICLR 2025 Conference Paper - Fast and Slow Streams for Online Time Series Forecasting without Inf…☆18Apr 30, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Classify international patents into one of eight categories based on the text of their titles & abstracts using DistilBert & ONNX Runtime☆10Jul 21, 2022Updated 3 years ago
- JoinAI是一个开源仓库，专注于算法工程能力的培养，包括工程和数学原理的整理☆11Apr 20, 2025Updated last year
- 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 4 years ago
- The official implementation of "Test-time Adaptation for Regression by Subspace Alignment" (ICLR 2025).☆17Jun 6, 2025Updated last year
- 具身智能入门自学☆34Apr 21, 2025Updated last year
- Demos for the paper Generalized Variational Inference (Knoblauch, Jewson & Damoulas, 2019)☆20Apr 4, 2019Updated 7 years ago
- Xmixers: A collection of SOTA efficient token/channel mixers☆28Sep 4, 2025Updated 9 months ago
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- 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.
- Caliendo and Parro (2015) quantitative trade model in R.☆15Nov 21, 2024Updated last year
- A latest curated list of resources on implicit neural representations.☆16Apr 18, 2025Updated last year
- ☆23Jul 15, 2024Updated last year
- Repo to share open work on the COVID-19 outbreak☆15Sep 10, 2020Updated 5 years ago
- Learn Japanese using music. Frontend written in Nuxt.js and optional backend using Litserve☆21Jun 2, 2025Updated last year
- FreeBSD native WiFi driver for BCM4350 (MBP 2016), BCM43455 (RPi4) — in progress☆48Apr 2, 2026Updated 2 months ago
- Functions for handling RNA-seq files and formats as input and output for scrattch functions.☆11Aug 20, 2025Updated 9 months ago
- ☆37Aug 7, 2025Updated 10 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆23Jun 12, 2025Updated 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.
- ICD-10 nternational Statistical Classification of Diseases and Related Health Problems - Ground Truth and some Experimental R Code for N…☆14May 14, 2018Updated 8 years ago
- Course Website for Causal Inference at UCSD☆19Mar 25, 2018Updated 8 years ago
- ☆23Jul 1, 2023Updated 2 years ago
- ☆19Jan 19, 2020Updated 6 years ago
- Repo for paper "Rethinking Generalization in Reasoning SFT: A Conditional Analysis on Optimization, Data, and Model Capability"☆108Apr 23, 2026Updated last month
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆14Jul 23, 2023Updated 2 years ago