清华大学大模型研究正由依赖扩展定律的预训练转向聚焦推理能力的后训练。符号逻辑推理因其有效性与普遍性,被视为解决大模型幻觉问题的关键。清华大学逻辑学研究中心联合多所高校发布调研综述,系统调研了该领域最前沿的研究方法与评测基准,旨在推进大语言模型逻辑推理能力的研究。