LogicTrack逐步形式化并验证思维链，识别答案正确但过程无效的推理。
推荐理由：它把每个自然语言推理步骤自动转换为符号表达并交由逻辑求解器核验，突破只按最终答案奖励的局限，可为过程监督提供细粒度、可定位的真实性信号。
阅读原文