2024年7月17日下午,pg官网邀请香港城市大学宋林琦教授作了题为“基于大语言模型的推理研究”的学术报告。报告由pg官网的刘杰教授主持,pg官网三十余名师生聆听了此次报告。
宋林琦教授在清华大学获得电子工程学士和硕士学位,在加州大学洛杉矶分校获得电气工程博士学位,他的研究兴趣包括信息理论和编码理论、通信、机器学习和大数据等。
报告中,宋林琦教授详细介绍了大语言模型在数学推理中的应用,特别是GPT-4代码解释器在解决复杂数学问题中的表现。他提出了Explicit Code-based Self-Verification(CSV)方法,通过自动生成和执行代码、自我调试等手段,显著提高了模型的推理准确性。宋教授还介绍了他的最新研究成果—MUSTARD框架,这一框架通过结合LLMs的口头表达和形式定理证明器的数据验证优势,生成高质量的数学数据,并在多个实际应用中展示了其有效性。
报告结束后,宋林琦教授回答了与会老师和同学们的提问,与大家展开了热烈的讨论。他分享了自己在研究过程中的经验和心得,并对未来LLMs在数学推理及其他复杂任务中的应用前景进行了展望。与会老师和同学纷纷表示受益匪浅,对未来的研究工作充满了新的思考和灵感。
此次讲座不仅加深了pg官网师生对大语言模型在推理研究中的理解,也为大家今后的科研工作提供了新的思路和方向。