7 citations · 11 across the 6 of their papers we have counts for
Showing 2026 · quant-phShow all
2 papers · 2 filters
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…