Work produced with TeXRA

A non-exhaustive list of public projects and papers that used TeXRA. To add yours, open an issue or a pull request on the TeXRA repository.

Projects

• TNLean: Lean 4 formalization of tensor-network theory, including matrix-product states and their canonical forms.
• QICLean: Lean 4 formalization of quantum information and channels, including states, entanglement, channel representations, and entropy.
• MIPStarRE: Lean formalization of mathematics around $\mathrm{MIP}^* = \mathrm{RE}$.

Papers

• Can Theoretical Physics Research Benefit from Language Agents?, Sirui Lu, Zhijing Jin, Terry Jingchen Zhang, Pavel Kos, J. Ignacio Cirac, and Bernhard Schölkopf (ICML 2026). The position paper behind TeXRA.
• Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems, Xi He, Sirui Lu, and Bei Zeng (2025).
• Multi-agent Autoformalization of Tensor Network Theory, Sirui Lu, Erickson Tjoa, and J. Ignacio Cirac (2026). The paper behind TNLean.
• Agentic Publication Protocol: An Attempt to Modernize Scientific Publication, Sirui Lu and Xiao-Liang Qi (2026).
• Bidirectional Decoding for Concatenated Quantum Hamming Codes, Chao Zhang, Zipeng Wu, Jiahui Wu, and Shilin Huang (2026).
• Quantum computer architecture with ions in tweezer arrays, Benjamin F. Schiffer, Christopher Monroe, Peter Zoller, and J. Ignacio Cirac (2026).