新框架LogicTrack利用形式逻辑求解器审计大模型推理步骤

来源简报

新框架LogicTrack利用形式逻辑求解器审计大模型推理步骤: 研究人员提出了 LogicTrack，这是一种神经符号框架，旨在验证大语言模型中间推理步骤的逻辑有效性。该系统将每个推理步骤自动形式化为符号表示，并使用自动定理证明器对其进行验证。