Yuanhe Zhang

lean-stat-learning-theory. [ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.

LoRA-One. [ICML2025 Oral] LoRA-One: One-Step Full Gradient Could Suffice for Fine-Tuning Large Language Models, Provably and Efficiently

DAG-MATH. [ICLR2026] DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs

LeanMarathon. Python

Score-matching-for-unnormalized-density-estimation. A practical attempt to implement density estimation for unnormalized gaussian mixture distribution using score matching

ErdosGraham. Lean