[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.
☆144Jul 15, 2026Updated 3 months 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 Formalization of Generalization Error Bound by Rademacher Complexity☆24Sep 24, 2026Updated last month
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- [ICML 2026] CUDA-Accelerated Regularized Optimal Transport.☆13Updated this week
- Information theory and hypothesis testing, in Lean☆17Oct 29, 2026Updated last week
- ☆15Mar 25, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- Verified probability, statistics, and learning theory in Lean 4☆31Updated this week
- Lean formalization of the theory of quantum information and quantum computation☆39Oct 28, 2026Updated last week
- ☆28Apr 16, 2026Updated 6 months ago
- ☆114Aug 5, 2026Updated 3 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆271Oct 7, 2026Updated last month
- ASCI Summer Research Lean☆10Oct 29, 2026Updated last week
- https://1000-plus.github.io/☆26Jul 22, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆483Updated this week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 months ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Convex optimization modeling in Lean 4☆82May 31, 2024Updated 2 years ago
- A C++ port of the IRLBA algorithm, based on the C code in the R package.☆18Aug 19, 2026Updated 2 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- [ICLR 2025] This repository contains the code to reproduce the results from our paper From Sparse Dependence to Sparse Attention: Unveili…☆12Mar 7, 2025Updated last year
- [ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4☆20Mar 20, 2026Updated 7 months 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.
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- [ICLR2026] DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs☆24Oct 19, 2025Updated last year
- ☆20Jan 22, 2026Updated 9 months ago
- ☆11May 5, 2023Updated 3 years ago
- ☆46Mar 12, 2024Updated 2 years ago
- Experiments for "D. Davis, D. Drusvyatskiy, and L. Jiang. Gradient descent with adaptive stepsize converges (nearly) linearly under fourt…☆10May 2, 2025Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆37May 2, 2026Updated 6 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆10May 1, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆28May 23, 2022Updated 4 years ago
- ☆25May 18, 2026Updated 5 months ago
- How to say it using Mathlib.☆21Oct 29, 2026Updated last week
- Accelerated Birkhoff Projection for Manifold-Constrained Hyper-Connections (mHC).☆17Jun 10, 2026Updated 5 months ago
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Apr 17, 2024Updated 2 years ago
- Awesome paper list for physics of ai☆20Jun 13, 2026Updated 4 months ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
Are these results useful?