4 citations · 12 across the 8 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory
Xingyang Yu
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, su…
cs.AI2026
Grading the Unspoken: Evaluating Tacit Reasoning in Quantum Field Theory and String Theory with LLMs
Xingyang Yu, Yinghuan Zhang, Yufei Zhang +1
Large language models have demonstrated impressive performance across many domains of mathematics and physics. One natural question is whether such models can support research in h…