arXiv AI By Weiguo Yin

A Human-AI Theorem Connecting Spontaneous and Field-Induced Mechanisms of Collective Behavior in One Dimension

Read the original on arXiv AI →

The Flow has not summarised this story yet — read it at arXiv AI.

arXiv AI
Jul 10

Multi-agent Autoformalization of Tensor Network Theory

arXiv: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 physics, with the autoformalization of the fundamental theorem of matrix-product states as a demonstration.

By Sirui Lu, Erickson Tjoa, J. Ignacio Cirac