作者位次 #3/9KDD 2026Oral· Knowledge Discovery & Data Mining
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
Wenyao Cui · Zhang Huaping · Yongyi Huang · Qiuchi Li · Jian Xu · Cheng-lin Liu · Chunxiao Gao · Juan Wang · Baohua Zhang