LogicTrack：利用形式逻辑求解器审计大语言模型的推理轨迹

英文标题：LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers

思维链（Chain-of-Thought, CoT）推理已显著提升大语言模型（LLM）的性能，但现有优化方法大多严重依赖基于最终结果的反馈，导致中间推理步骤的逻辑有效性缺乏严格验证。LogicTrack 提出借助形式逻辑求解器对大语言模型的中间推理轨迹进行形式化审计与检验。该方法有效弥补了传统评测难以发现“逻辑过程错误却巧合得出正确答案”的缺陷。对于开发者与行业而言，这一方案为提升推理型 Agent 与逻辑推理模型的可靠性、可解释性以及构建更严谨的过程监督（Process Supervision）机制提供了重要工具。