TY  - RPRT
TI  - AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
AU  - Yuanhe Zhang
AU  - Jason D. Lee
AU  - Fanghui Liu
PY  - 2026
UR  - https://arxiv.org/abs/2602.02285
ID  - 2602.02285
ER  -