PrototypeCommune
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.
- Propriétaire
- YuanheZ (compte personnel)
- Étoiles
- Étoiles : 141
- Forks
- Forks : 18
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Sujets
- autoformalizationformal-mathematicsformalizationhigh-dimensional-statisticslean4learning-theorymachine-learning-theorystatistical-learning-theoryicml2026high-dimensional-probability
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- chasenorman/CanonicalLeanÉtoiles : 141LeanPrototype
- kim-em/lean-zipÉtoiles : 141LeanPrototype
- leanprover/con-lecheÉtoiles : 141LeanPrototype
- b-mehta/formalising-mathematics-notesÉtoiles : 140LeanPrototype