News Archive
2026
Joined StatsMLlib as a Contributor
August 2026
I am contributing to the Lean 4 formalization of deep learning theory, high-dimensional statistics, probability theory, and concentration inequalities.