DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory.

arXiv:2607.23614v3 Announce Type: replace-cross Abstract: 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