7 citations · 11 across the 6 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
quant-ph2026
Multi-agent Autoformalization of Tensor Network Theory
Sirui Lu, Erickson Tjoa, J. Ignacio Cirac
We build a team of specialized large language-model agents and present an agent-driven workflow for research-level formalization in theoretical physics, with the autoformalization…
quant-ph2026
Benchmark of quantum algorithms for ground state preparation in the presence of noise
Daniel Molpeceres, Sirui Lu, J. Ignacio Cirac +1
We compare the performance of representative cooling, adiabatic, and optimization algorithms for ground-state preparation in the presence of noise. Using an exactly solvable family…
cs.DL2026
Agentic Publication Protocol: An Attempt to Modernize Scientific Publication
Sirui Lu, Xiao-Liang Qi
Scientific publication is still organized primarily around static manuscripts, even though much of scientific progress depends on tacit know-how: how to run code, reproduce figures…