GroundedReasoner

新库使用零额外 token 验证 LLM 多步推理

一个名为 GroundedReasoner 的新库已被开发出来，用于解决大型语言模型 (LLM) 中的多步推理失败问题。LLM 在处理复杂的、多步骤的推理时常常遇到困难，在被要求串联事实时会自信地编造信息。该库使用一种基于矩阵的方法，将关系视为矩阵，并将组合视为矩阵乘法，从而以零额外 LLM token 的方式验证声明。它充当后置过滤器，确保只有具有可验证证据路径的声明才能呈现给用户，在推理任务上实现了 100% 的准确率。