Multi-agent Autoformalization of Tensor Network Theory
DGX agentarXiv:2607.07857v1 Announce Type: cross Abstract: We build a team of specialized large language-model agents and present an agent-driven workflow for research-level formalization in theoretical physic