arXiv AI By Wenyao Cui, Huaping Zhang, Yongyi Huang, Qiuchi Li, Jian Xu, Cheng-Lin Liu, Chunxiao Gao, Juan Wang, Baohua Zhang

SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification

Read the original on arXiv AI →

arXiv:2608. 08786v1 Announce Type: new Abstract: Large language models (LLMs) increasingly serve as data-driven reasoners, yet their chains-of-thought (CoT) can be unfaithful even when final answers are correct.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.