#artificial intelligence
Jul 2026
DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory
DualityCert, a symbolic verifier for candidate Seiberg-duality claims in four-dimensional N=1 quiver gauge theories, is presented and used as a repair environment for language-model agents, which receive a deliberately broken claim and must edit it until it certifies.
Xingyang Yu
· arXiv.org · 0 citations