PublicationNov 2026
Quantum unique ergodicity and the critical crossover for 1-d Gaussian band matrices
BlogNov 2026
Cluster Algebras, Formalized in Lean
PublicationNov 2026
Log-Concavity in Narayana Transforms and Stack-Sorting Fibers
BlogNov 2026
The Weil Conjectures, Formalized in Lean
BlogNov 2026
The Stacks Project, Formalized in Lean
NewsOct 2026
Scientific American: Mathematicians find an infinite number of Ramanujan equations
PublicationOct 2026
An Asymptotic Jensen–Pólya Criterion for GRH
