Hugging Face's logo
Yuanhe Zhang's picture
1 2 18

Yuanhe Zhang

liminho123
HongSome's profile picture
·
https://yuanhez.github.io/

AI & ML interests

I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.

Recent Activity

liked a dataset 2 months ago
nvidia/Nemotron-Math-Proofs-v1
submitted a paper 3 months ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
authored a paper 3 months ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
View all activity

Organizations

None yet