第115期沙龙分享
主题：大语言模型和形式推理
主讲人：樊宏路
沙龙时间地点
时间：09月27日 18:30 - 20:30
地点：ETH HG E41
（目前改为仅线下活动，欢迎各专业对本次沙龙感兴趣的同学朋友参加，俱乐部为大家提供饮料小零食）
樊宏路
日内瓦大学数学系博士后，美国犹他大学数学系博士。博士期间研究方向为代数几何，当前研究转向大语言模型，包括预训练与微调技术，形式推理，以及可解释性。
大语言模型和形式推理
LLM (大语言模型)经过近几年的迅猛发展已经展现出强大的自然语言处理能力。在走向通用智能的道路上，LLM如何面对形式推理受到了学术界和业界的日益重视。在本次报告中，我们希望分享一些近几年与之相关的理论，技巧和实验，并探讨LLM在数学和编程中推理能力的现状与未来。
