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.
• MIPStarRE: Lean formalization of mathematics around $\mathrm{MIP}^* = \mathrm{RE}$.

Papers

• Can Theoretical Physics Research Benefit from Language Agents?, Sirui Lu, Zhuo Jin, Tian-Jun Zhang, Pavel Kos, J. Ignacio Cirac, and Bernhard Schölkopf (ICML 2026). The position paper behind TeXRA.
• Quantum computer architecture with ions in tweezer arrays, Benjamin F. Schiffer, Christopher Monroe, Peter Zoller, and J. Ignacio Cirac (2026).
• Bidirectional Decoding for Concatenated Quantum Hamming Codes, Chao Zhang, Zipeng Wu, Jiahui Wu, and Shilin Huang (2026).
• Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems, Xi He, Sirui Lu, and Bei Zeng (2025).