{"id":"arxiv/2607.23614","url":"https://arxiv.org/abs/2607.23614","tags":["cs.CR","cs.AI","cs.LG","hep-th"],"score":0,"title":"DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory","domain":"cs.CR","source":"arxiv","authors":["Xingyang Yu"],"reviews":0,"subject":"cs.CR","summary":"We present DualityCert, a symbolic verifier for candidate Seiberg-duality claims in four-dimensional N=1 quiver gauge theories. The verifier evaluates 't Hooft anomaly matching, superpotential R-charge consistency, central-charge matching, and a bounded chiral-ring proxy. A claim that passes receives a consistency certificate, which states that no tested inconsistency was found, not that the duality is proven. We use the verifier as a repair environment for language-model agents, which receive a deliberately broken claim and must edit it until it certifies. On a preregistered benchmark of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}