-
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper • 2602.02285 • Published -
yuanhezhang/lean4-stat-learning-theory-novel
Viewer • Updated • 865 • 75 -
yuanhezhang/lean4-stat-learning-theory-corpus
Viewer • Updated • 470 • 102 • 3 -
yuanhezhang/lean4-stat-learning-theory-random
Preview • Updated • 64
Yuanhe Zhang
yuanhezhang
AI & ML interests
I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.
Organizations
None yet