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
- 2026Submitted
Graph Theory Guided Reinforcement Learning for Network Design with High Algebraic Connectivity under Vertex and Edge Constraints
Zeru Zhu, Marco Gamarra, and Ji Liu
IEEE Conference on Decision and Control (CDC), 2026
- 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.