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
liked a dataset 3 days ago
nvidia/Nemotron-Math-Proofs-v1 submitted a paper about 1 month ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch authored a paper about 1 month ago
Statistical Learning Theory in Lean 4: Empirical Processes from ScratchOrganizations
None yet