Skip to content

Publications

Publications, preprints, and conference tutorials. Google Scholar ↗

1,409Citations
15h-index
24Publications

Scholar metrics verified Sep 14, 2026.

main theorem lemmas · dependencies blueprint: every claim proven and wired to the theorem
arXiv2026

Long-Horizon Autoformalization of a Core Theorem Underlying MIP* = RE

Sirui Lu, Ruixuan Deng, Yanqiao Zhu, Zhengfeng Ji

AI for science Autoformalization Language agents
Cambridge University Press2026

Generative AI and Stochastic Thermodynamics: A Tale of Free Energies

Max Welling, Sirui Lu, Lars Holdijk

Generative AI Statistical physics
paper agent team Lean 4 periodic human review agents formalize · humans steer
arXiv:2607.078572026

Multi-agent Autoformalization of Tensor Network Theory

Sirui Lu, Erickson Tjoa, J. Ignacio Cirac

AI for science Autoformalization Tensor networks
arXiv:2606.273862026

Agentic Publication Protocol: An Attempt to Modernize Scientific Publication

Sirui Lu, Xiao-Liang Qi

AI for science Scientific publishing
arXiv:2606.205512026

Benchmark of Quantum Algorithms for Ground State Preparation in the Presence of Noise

Daniel Molpeceres, Sirui Lu, J. Ignacio Cirac, Barbara Kraus

Quantum simulation Benchmarks
theorist language agent literature derivation numerics writing which parts of theory research can agents take on?
ICML 20262026 Oral at NeurIPS 2025 AI4Science

Can Theoretical Physics Research Benefit from Language Agents?

Sirui Lu, Zhijing Jin, Terry Jingchen Zhang, Pavel Kos, J. Ignacio Cirac, Bernhard Schölkopf

AI for science Language agents
ICLR 2026 · FM4Science Workshop2026 Oral

Position: Science Is Collaborative — LLM for Science Should Be Too

Terry Jingchen Zhang, Wenyuan Jiang, David Guzman Piedrahita, Yongjin Yang, Sirui Lu, Bernhard Schölkopf, Zhijing Jin

AI for science
PRX Intelligence (accepted)2025 Discovered with TeXRA · 14,116 certified codes

Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems

Xi He, Sirui Lu, Bei Zeng

AI for science Quantum error correction
Phys. Rev. Research 7, 0331622025

Quantum Algorithms for Cooling: A Simple Case Study

Daniel Molpeceres, Sirui Lu, J. Ignacio Cirac, Barbara Kraus

Quantum simulation
Partitions of classical image data and corresponding one- and two-dimensional tensor-network layouts.
Phys. Rev. A 111, 0324092025 Editors' Suggestion

Tensor Networks and Efficient Descriptions of Classical Data

Sirui Lu, Márton Kanász-Nagy, Ivan Kukuljan, J. Ignacio Cirac

Tensor networks Machine learning
Phys. Rev. B 111, 0751022025

Variational Neural and Tensor Network Approximations of Thermal States

Sirui Lu, Giacomo Giudice, J. Ignacio Cirac

Tensor networks Machine learning Statistical physics
Quantum Frontiers 2, 152023

Adversarial Machine Learning Phases of Matter

Si Jiang, Sirui Lu, Dong-Ling Deng

Adversarial learning Machine learning
Sci. China Phys. Mech. Astron. 64, 1003122021

Quantum Federated Learning through Blind Quantum Computing

Weikang Li, Sirui Lu, Dong-Ling Deng

Quantum machine learning
Two quantum algorithms: energy filtering for microcanonical observables and quantum-assisted sampling for canonical observables.
PRX Quantum 2, 0203212021

Algorithms for Quantum Simulation at Finite Energies

Sirui Lu, Mari Carmen Bañuls, J. Ignacio Cirac

Quantum simulation
New J. Phys. 22, 0830882020

Determining System Hamiltonian from Eigenstate Measurements without Correlation Functions

Shi-Yao Hou, Ningping Cao, Sirui Lu, Yi Shen, Yiu-Tung Poon, Bei Zeng

Hamiltonian learning Machine learning
Phys. Rev. Research 2, 0332122020 Most-cited work

Quantum Adversarial Machine Learning

Sirui Lu, Lu-Ming Duan, Dong-Ling Deng

Quantum machine learning Adversarial learning
npj Quantum Inf. 5, 1092019

Local-Measurement-Based Quantum State Tomography via Neural Networks

Tao Xin*, Sirui Lu*, Ningping Cao*, Galit Anikeeva, Dawei Lu, Jun Li, Guilu Long, Bei Zeng

* Equal contribution

Quantum tomography Machine learning
Commun. Phys. 2, 1222019

Quantum Spacetime on a Quantum Simulator

Keren Li, Youning Li, Muxin Han, Sirui Lu, Jie Zhou, Dong Ruan, Gui-Lu Long, Yidun Wan, Dawei Lu, Bei Zeng, Raymond Laflamme

Quantum simulation
Phys. Rev. Lett. 122, 2105032019

Machine Learning Topological Phases with a Solid-State Quantum Simulator

Wenqian Lian*, Sheng-Tao Wang*, Sirui Lu, Yuanyuan Huang, Fei Wang, Xinxing Yuan, Wengang Zhang, Xiaolong Ouyang, Xin Wang, Xianzhi Huang, Li He, Xiuying Chang, Dong-Ling Deng, Luming Duan

* Equal contribution

Machine learning Topological phases Quantum simulation
arXiv:1905.121342019

Optimizing QAOA: Success Probability and Runtime Dependence on Circuit Depth

Murphy Yuezhen Niu, Sirui Lu, Isaac L. Chuang

Quantum algorithms
Phys. Rev. B 99, 1551362019

Efficient Representation of Topologically Ordered States with Restricted Boltzmann Machines

Sirui Lu, Xun Gao, L.-M. Duan

Machine learning Topological phases
Phys. Rev. A 98, 0123152018

Separability-Entanglement Classifier via Machine Learning

Sirui Lu*, Shilin Huang*, Keren Li, Jun Li, Jianxin Chen, Dawei Lu, Zhengfeng Ji, Yi Shen, Duanlu Zhou, Bei Zeng

* Equal contribution

Machine learning Entanglement
Sci. Bull. 63, 172018

NMRCloudQ: A Quantum Cloud Experience on a Nuclear Magnetic Resonance Quantum Computer

Tao Xin, Shilin Huang, Sirui Lu, Keren Li, Zhihuang Luo, Zhangqi Yin, Jun Li, Dawei Lu, Gui-Lu Long, Bei Zeng

Quantum computing
IEEE ISIT 20172017

Codes for Simultaneous Transmission of Quantum and Classical Information

Markus Grassl, Sirui Lu, Bei Zeng

Quantum error correction