Publications
Papers, preprints, and proofs.
Titles link to public papers where available. The accompanying project pages explain the questions, mathematical ideas, and work behind each result.
- 2026Preprint
Maximizing Algebraic Connectivity with 2(n − 2) Edges: The Large Vertex Number Case
Zeru Zhu, Jinzheng Li, Yuanjie Ren, and Ji Liu
arXiv:2608.07360 · Revised September 2026
- 2026Preprint
MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
Jinzheng Li, Zeru Zhu, and Yuanjie Ren
arXiv:2605.26959
- 2026Preprint / Submitted
Distributed Variational Quantum Linear Solver
Tong Shen, Zeru Zhu, and Ji Liu
arXiv:2604.01426 · Submitted to IEEE CDC 2026
- 2026Preprint
Toward Maximizing Algebraic Connectivity via Density-Dependent Backbone Construction and Reinforcement Learning Completion
Zeru Zhu, Marco Gamarra, and Ji Liu
arXiv:2610.12697
- 2026Submitted
Controlling an Undirected Networked SIS Model with Minimum Effort
Dan Wang, Zeru Zhu, Ji Liu, Wei Chen, Tamer Başar, and Li Qiu
IEEE Conference on Decision and Control (CDC), 2026
- 2025Published
An Analysis Tool for Push-Sum-Based Distributed Optimization
Yixuan Lin, Zeru Zhu, and Ji Liu
IEEE Transactions on Automatic Control, 70(12), 8298–8305
Submitted manuscripts are marked as such, distinct from accepted publications. Where a public paper link is not yet available, you can explore its project page or contact me for details.