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
18 days ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch authored
a paper
20 days ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch updated
a collection
21 days ago
Statistical Learning Theory in Lean 4 Organizations
None yet