TY  - RPRT
TI  - SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
AU  - Wenyao Cui
AU  - Huaping Zhang
AU  - Yongyi Huang
AU  - Qiuchi Li
AU  - Jian Xu
AU  - Cheng-Lin Liu
AU  - Chunxiao Gao
AU  - Juan Wang
AU  - Baohua Zhang
PY  - 2026
DO  - 10.1145/3770855.3818004
UR  - https://arxiv.org/abs/2608.08786
ID  - 2608.08786
ER  -