从命题逻辑到高阶推理：北大、清华等联合发布大模型逻辑推理能力最新综述 下午4时 2025/05/12 作者 PaperWeekly 符号逻辑推理的有效性与普遍性， 提升大模型的逻辑推理能力 成为解决幻觉问题的关键途径。 为推进大语言
北大、清华、UvA、CMU等联合发布：大模型逻辑推理能力最新综述 下午11时 2025/05/07 作者 机器之心 符号逻辑推理的有效性与普遍性， 提升大模型的逻辑推理能力 成为解决幻觉问题的关键途径。 为推进大语言
