1
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
用神经符号验证给LLM推理做可解释诊断，直击黑箱痛点，值得关注。
arXiv:2608.08786v1 Announce Type: new Abstract: Large language models (LLMs) increasingly serve as data-driven reasoners, yet their chains-of-thought …