-
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper • 2602.02285 • Published -
liminho123/lean4-stat-learning-theory-novel
Viewer • Updated • 865 • 153 -
liminho123/lean4-stat-learning-theory-corpus
Viewer • Updated • 470 • 131 • 1 -
liminho123/lean4-stat-learning-theory-random
Viewer • Updated • 865 • 104
Yuanhe Zhang
liminho123
AI & ML interests
I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.
Recent Activity
submitted
a paper
20 days ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch authored
a paper
22 days ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch updated
a collection
23 days ago
Statistical Learning Theory in Lean 4 Organizations
None yet
-
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper • 2602.02285 • Published -
liminho123/lean4-stat-learning-theory-novel
Viewer • Updated • 865 • 153 -
liminho123/lean4-stat-learning-theory-corpus
Viewer • Updated • 470 • 131 • 1 -
liminho123/lean4-stat-learning-theory-random
Viewer • Updated • 865 • 104
models 0
None public yet