TY  - RPRT
TI  - Multi-agent Autoformalization of Tensor Network Theory
AU  - Sirui Lu
AU  - Erickson Tjoa
AU  - J. Ignacio Cirac
PY  - 2026
UR  - https://arxiv.org/abs/2607.07857
ID  - 2607.07857
ER  -