VeryTrace

新框架VeryTrace验证和修复LLM推理痕迹

研究人员开发了VeryTrace，一个旨在验证和修复大型语言模型（LLM）生成的推理痕迹的新框架。该系统使用领域特定语言（DSL）将自然语言推理形式化为结构化、可编译的格式。DSL明确定义了步骤依赖关系，将定量数据视为可执行表达式，并构建了语义推理。VeryTrace结合了确定性检查和LLM审计，以查明和修复错误，在数学、机器人学和亲属关系推理等各种领域提高了准确性，而无需领域特定的训练。