清華新聞網(wǎng)5月13日電 當(dāng)前,，大模型研究正逐步從依賴擴(kuò)展定律（Scaling Law）的預(yù)訓(xùn)練轉(zhuǎn)向聚焦推理能力的后訓(xùn)練,。鑒于符號(hào)邏輯推理的有效性與普遍性，提升大模型的邏輯推理能力成為解決幻覺問題的關(guān)鍵途徑。
為推進(jìn)大語言模型邏輯推理能力的研究,，清華大學(xué)邏輯學(xué)研究中心聯(lián)合來自北京大學(xué),、阿姆斯特丹大學(xué)（UvA）、卡內(nèi)基梅隆大學(xué)（CMU）,、穆罕默德·本·扎耶德人工智能大學(xué)（MBZUAI）等五所高校的研究人員,，近期共同發(fā)布了調(diào)研綜述“邏輯推理賦能大模型：一項(xiàng)全面調(diào)研綜述”（Empowering LLMs with Logical Reasoning: A Comprehensive Survey）。
論文系統(tǒng)調(diào)研了該領(lǐng)域最前沿的研究方法與評(píng)測(cè)基準(zhǔn),，圍繞“邏輯問答”和“邏輯一致性”兩個(gè)關(guān)鍵科學(xué)問題,，建立了完整的分類體系，對(duì)前沿研究方法進(jìn)行了系統(tǒng)歸納與概述,，同時(shí)整理了該領(lǐng)域常用的公開基準(zhǔn)數(shù)據(jù)集與評(píng)估指標(biāo),，并探討了未來值得關(guān)注的重要研究方向。
研究綜述分類體系
論文已被國際人工智能聯(lián)合會(huì)主辦的頂級(jí)人工智能會(huì)議——IJCAI 2025（International Joint Conference on Artificial Intelligence）收錄于綜述論文賽道（Survey Track）,。作者團(tuán)隊(duì)還將在會(huì)議現(xiàn)場(chǎng)圍繞同一主題進(jìn)行專題講座（Tutorial），全面探討該研究領(lǐng)域所面臨的挑戰(zhàn),、主流方法及未來機(jī)遇,。IJCAI是人工智能領(lǐng)域最具影響力的國際會(huì)議之一，也是目前唯一設(shè)有綜述論文投稿賽道的頂級(jí)會(huì)議,。
清華大學(xué)人文學(xué)院教授劉奮榮及其指導(dǎo)的成鳳祥參與該工作,。成鳳祥于2024年獲得清華大學(xué)碩士學(xué)位，目前在阿姆斯特丹大學(xué)攻讀博士學(xué)位,，師從劉奮榮教授與阿姆斯特丹大學(xué)范羅伊（van Rooij）教授,。北京大學(xué)助理研究員李昊軒、教授林宙辰,，卡內(nèi)基梅隆大學(xué)和穆罕默德·本·扎耶德人工智能大學(xué)教授張坤,，以及范羅伊共同參與此項(xiàng)工作。
論文鏈接：
https://arxiv.org/abs/2502.15652
供稿：人文學(xué)院
編輯：李華山
審核：郭玲
