★ 3
LogicTrack：用形式逻辑求解器审计推理链
论文提出LogicTrack神经符号框架，将LLM的每一步推理自动形式化为符号表示，并用自动定理证明器验证，解决模型通过逻辑缺陷链得出正确答案的问题。框架引入基于求解器的回溯奖励（SBR）指导推理时树搜索，并可生成SFT数据让模型内化逐步审计能力。在8个推理基准、7个LLM上验证了推理链可验证性与…
arXiv cs.AI42 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出LogicTrack神经符号框架，将LLM的每一步推理自动形式化为符号表示，并用自动定理证明器验证，解决模型通过逻辑缺陷链得出正确答案的问题。框架引入基于求解器的回溯奖励（SBR）指导推理时树搜索，并可生成SFT数据让模型内化逐步审计能力。在8个推理基准、7个LLM上验证了推理链可验证性与…