7月17日下午，信息學(xué)院邀請(qǐng)香港城市大學(xué)宋林琦教授作了題為“基于大語言模型的推理研究”的學(xué)術(shù)報(bào)告。報(bào)告由信息學(xué)院的劉杰教授主持，信息學(xué)院三十余名師生聆聽了此次報(bào)告。

宋林琦教授在清華大學(xué)獲得電子工程學(xué)士和碩士學(xué)位，在加州大學(xué)洛杉磯分校獲得電氣工程博士學(xué)位，他的研究興趣包括信息理論和編碼理論、通信、機(jī)器學(xué)習(xí)和大數(shù)據(jù)等。

報(bào)告中，宋林琦教授詳細(xì)介紹了大語言模型在數(shù)學(xué)推理中的應(yīng)用，特別是GPT-4代碼解釋器在解決復(fù)雜數(shù)學(xué)問題中的表現(xiàn)。他提出了Explicit Code-based Self-Verification（CSV）方法，通過自動(dòng)生成和執(zhí)行代碼、自我調(diào)試等手段，顯著提高了模型的推理準(zhǔn)確性。宋教授還介紹了他的最新研究成果—MUSTARD框架，這一框架通過結(jié)合LLMs的口頭表達(dá)和形式定理證明器的數(shù)據(jù)驗(yàn)證優(yōu)勢(shì)，生成高質(zhì)量的數(shù)學(xué)數(shù)據(jù)，并在多個(gè)實(shí)際應(yīng)用中展示了其有效性。

報(bào)告結(jié)束后，宋林琦教授回答了與會(huì)老師和同學(xué)們的提問，與大家展開了熱烈的討論。他分享了自己在研究過程中的經(jīng)驗(yàn)和心得，并對(duì)未來LLMs在數(shù)學(xué)推理及其他復(fù)雜任務(wù)中的應(yīng)用前景進(jìn)行了展望。與會(huì)老師和同學(xué)紛紛表示受益匪淺，對(duì)未來的研究工作充滿了新的思考和靈感。

編輯：左芳舟