LIFM: A Persistent Learned Index for Flash Memory. - Shuhao Song; Peiquan Jin; Zhaole Chu; Yongping Luo; Shouhong Wan (ICPADS, 2023)

Prime Number Theorem with Remainder Term. - Shuhao Song; Bowen Yao (Arch. Formal Proofs, 2024)

Formalization of the Prime Number Theorem with a Remainder Term. - Shuhao Song; Bowen Yao (J. Autom. Reason., 2025)