HF Daily Papers
· Papers
SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
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. Most existing ``verification'' signals are not diagnostic: answer matching observes only the outcome, LLM-as-judge provides subjective an