PrototypeCommon
YuanheZ/lean-stat-learning-theory
[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.
- Owner
- YuanheZ (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 18
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Topics
- autoformalizationformal-mathematicsformalizationhigh-dimensional-statisticslean4learning-theorymachine-learning-theorystatistical-learning-theoryicml2026high-dimensional-probability
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- chasenorman/CanonicalLeanStars: 141LeanPrototype
- kim-em/lean-zipStars: 141LeanPrototype
- leanprover/con-lecheStars: 141LeanPrototype
- b-mehta/formalising-mathematics-notesStars: 140LeanPrototype