察元AI教程库 · 文章 · 大模型
近年来，大型语言模型（LL ）在执行推理任务（如演绎）方面得到了广泛研究。然而，它们生成证明的能力——即人类可读、逻辑严谨的解释，说明结论如何推导出来——仍鲜有研究。本文研究了证明生成的机制，重点关注其在推理过程中的表现。
作者:Hui Yang, Jiaoyan Chen, Uli Sattler · 语言:en
近年来，大型语言模型（LL ）在执行推理任务（如演绎）方面得到了广泛研究。然而，它们生成证明的能力——即人类可读、逻辑严谨的解释，说明结论如何推导出来——仍鲜有研究。本文研究了证明生成的机制，重点关注其在推理过程中的表现。