Statistical Learning Theory in Lean 4: Empirical Processes from Scratch Paper • 2602.02285 • Published 12 days ago