Zeru Zhu

According to our database, Zeru Zhu authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving.

Jinzheng Li, Zeru Zhu, Yuanjie Ren

CoRR, May, 2026

Distributed Variational Quantum Linear Solver.

Tong Shen, Zeru Zhu, Ji Liu

CoRR, April, 2026

2025

An Analysis Tool for Push-Sum-Based Distributed Optimization.

Yixuan Lin, Zeru Zhu, Ji Liu

IEEE Trans. Autom. Control., December, 2025