7 papers
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…
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…
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…
Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems
Xi He, Sirui Lu, Bei Zeng
Exact scientific discovery requires more than heuristic search: candidate constructions must be turned into exact objects and checked independently. We address this gap by extendin…
Can Theoretical Physics Research Benefit from Language Agents?
Sirui Lu, Zhijing Jin, Terry Jingchen Zhang +3
Large Language Models (LLMs) are rapidly advancing across diverse domains, yet their application in theoretical physics remains inadequate. While current models show competence in…
Quantum algorithms for cooling: a simple case study
Daniel Molpeceres, Sirui Lu, J. Ignacio Cirac +1
Preparation of low-energy quantum many-body states has a wide range of applications in quantum information processing and condensed matter physics. Quantum cooling algorithms offer…