October 8, 2026· ~6 min readThe Keiper–Li Ledger: λ₁, λ₂, λ₃ Certified in Lean 4 Li's criterion is the sharpest known equivalence between the Riemann hypothesis and a concrete sequence of real numbers. Define, over the nontrivial
May 30, 2026· ~3 min readMachine Learning for Modular Forms: GNNs, Spectral Methods, and L-Function Phenomenology — Comprehensive Preprint **Published on Zenodo:** [10.5281/zenodo.20479512](https://doi.org/10.5281/zenodo.20479512) This preprint synthesises the complete Riemann Project —
May 30, 2026· ~12 min readA Machine Learning Pipeline for Modular Form Analysis: Hecke Traces, L-Function Zeros, and the Sato-Tate Distribution [Download Full Paper (PDF, 12 pages)](/downloads/Predicting-L-Function-Properties-from-Trace-Index-Graphs.pdf) _This article synthesizes findings ac
May 27, 2026· ~7 min readPredicting L-Function Properties from Trace-Index Graphs using Graph Neural Networks **[Download Full Paper (PDF, 12 pages)](/downloads/Predicting-L-Function-Properties-from-Trace-Index-Graphs.pdf)** _This paper is the positive count