APA (7th ed.) Citation

Zhang, Y., Lee, J. D., & Liu, F. (2026). Statistical Learning Theory in Lean 4: Empirical Processes from Scratch.

Chicago Style (17th ed.) Citation

Zhang, Yuanhe, Jason D. Lee, and Fanghui Liu. Statistical Learning Theory in Lean 4: Empirical Processes from Scratch. 2026.

MLA (9th ed.) Citation

Zhang, Yuanhe, et al. Statistical Learning Theory in Lean 4: Empirical Processes from Scratch. 2026.