An Analysis Tool for Push-Sum-Based Distributed Optimization. - Yixuan Lin; Zeru Zhu; Ji Liu 001 (IEEE Trans. Autom. Control., 2025)

Distributed Variational Quantum Linear Solver. - Tong Shen; Zeru Zhu; Ji Liu (CoRR, 2026)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving. - Jinzheng Li; Zeru Zhu; Yuanjie Ren (CoRR, 2026)