摘要
抽象推理,即从问题的抽象本质进行推理的能力,是人类推理中泛化的关键。然而,如何引导语言模型进行抽象推理仍然未被探索。本文旨在通过引入一种称为“思想抽象”(AoT)的新型结构化推理格式来弥合这一差距。AoT 的独特之处在于它明确要求在推理过程中进行不同层次的抽象。这种方法可以引导语言模型首先在抽象层面进行思考,然后再纳入具体细节,而现有的逐步式“思维链”(CoT)方法则忽略了这一点。为了使模型与 AoT 格式相一致,我们提出了 AoT 集合,这是一个通用微调数据集,包含 348k 个高质量样本,这些样本具有 AoT 推理过程,通过自动化和可扩展的管道收集。我们使用 AoT 集合对各种语言模型进行了微调,并在来自具有挑战性的基准 Big-Bench Hard 的 23 个未见任务上进行了广泛的评估。实验结果表明,与 CoT 对齐的模型相比,与 AoT 推理格式对齐的模型在许多推理任务上表现出显著的优越性。