Statistical Learning Theory in Lean 4 - a liminho123 Collection

liminho123 's Collections

Statistical Learning Theory in Lean 4

Statistical Learning Theory in Lean 4

updated 7 days ago

Statistical Learning Theory in Lean 4: Empirical Processes from Scratch

Paper • 2602.02285 • Published 12 days ago
liminho123/lean4-stat-learning-theory-novel

Viewer • Updated 7 days ago • 865 • 79
liminho123/lean4-stat-learning-theory-corpus

Viewer • Updated 7 days ago • 470 • 41
liminho123/lean4-stat-learning-theory-random

Viewer • Updated 7 days ago • 865 • 38