SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification
SymDiag checks an LLM’s reasoning chain step by step, separating bad logic from translation noise.
The paper frames verification as failure diagnosis, not just answer checking. It converts chain-of-thought text into symbolic constraints, then tests steps for satisfiability and entailment. Its evidence can include counterexamples, inconsistency witnesses, and missing-premise indicators. A Self-Auditor compares dual symbolic encodings to distinguish TranslationError from ReasoningError. HF Daily Papers' note
The paper frames verification as failure diagnosis, not just answer checking. It converts chain-of-thought text into symbolic constraints, then tests steps for satisfiability and entailment. Its evidence can include counterexamples, inconsistency witnesses, and missing-premise indicators. A Self-Auditor compares dual symbolic encodings to distinguish TranslationError from ReasoningError. HF Daily Papers' note
score 5