2 papers
math.CO2026
Maximizing Algebraic Connectivity with Edges: The Large Vertex Number Case
Zeru Zhu, Jinzheng Li, Yuanjie Ren +1
Kolokolnikov conjectured that, among all simple graphs on \(n\) vertices with exactly \(2(n-2)\) edges, the complete bipartite graph maximizes algebraic connectivity. This paper pr…
cs.LO2026
MerLean: An Agentic Framework for Autoformalization in Quantum Computation
Yuanjie Ren, Jinzheng Li, Yidi Qi
We introduce MerLean, a fully automated agentic framework for autoformalization in quantum computation. MerLean extracts mathematical statements from \LaTeX{} source files, formali…