AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory 事件

AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory arXiv:2602.02285v2 Announce Type: replace-cross Abstract: We present the first comprehensive Lean 4 formalization of statistical learning theory (SLT) grounded in empirical process theory. Our en-to-end formal infrastructure implement the missing contents in latest Lean library, including a complete development of Gaussian Lipschitz concentration, Dudley's entropy integral theorem for sub-Gaussian processes, and an app