察元AI教程库 · 文章 · 大模型
随着先进推理模型(如OpenAI o3和DeepSeek-R1)的出现,大型语言模型(LLMs)展示了卓越的推理能力。然而,它们进行严谨逻辑推理的能力仍是一个开放性问题。本综述综合了近年来在逻辑
作者:Hanmeng Liu, Zhizhang Fu, Mengru Ding · 语言:en
随着先进推理模型(如OpenAI o3和DeepSeek-R1)的出现,大型语言模型(LLMs)展示了卓越的推理能力。然而,它们进行严谨逻辑推理的能力仍是一个开放性问题。本综述综合了近年来在逻辑