@misc{indiciaeabf6418b17c7,
  title = {SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification},
  author = {Wenyao Cui and Huaping Zhang and Yongyi Huang and Qiuchi Li and Jian Xu and Cheng-Lin Liu and Chunxiao Gao and Juan Wang and Baohua Zhang},
  year = {2026},
  doi = {10.1145/3770855.3818004},
  url = {https://arxiv.org/abs/2608.08786},
  note = {Source identifier: 2608.08786}
}