推理验证

研究人员提出VeryTrace框架，通过将自然语言推理过程形式化为结构化、可编译的表示，实现零样本的推理链验证与修复，有效减少逻辑错误传播。