Popular repositories Loading

1. lean-stat-learning-theory lean-stat-learning-theory Public

   [ICML2026] The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation fo…

   Lean 86 10

2. LoRA-One LoRA-One Public

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

   Python 32 2

3. DAG-MATH DAG-MATH Public

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

   Python 23 4

4. LeanMarathon LeanMarathon Public

   Python 13 4

5. Score-matching-for-unnormalized-density-estimation Score-matching-for-unnormalized-density-estimation Public

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

   Jupyter Notebook 1

6. ErdosGraham ErdosGraham Public

   Lean 1