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
updated
a collection
about 4 hours ago
Statistical Learning Theory in Lean 4
updated
a collection
about 4 hours ago
Statistical Learning Theory in Lean 4
updated
a dataset
about 4 hours ago
liminho123/lean4-stat-learning-theory-corpus
Organizations
None yet
models
0
None public yet