satisfiability

SymDiag 是一种神经符号框架，将思维链推理转化为符号约束，并执行步骤级可满足性检查，以定位 LLM 推理中的失败，从而区分翻译错误与推理错误。