报告题目：大模型赋能数学推理数据、方法与评估
报 告 人：王秋锋（副院长，系主任，教授）
报告时间：2026年1月8号 10:00
报告地点：腾讯会议972-651-651
主办单位：科技处、研究生部、计算机与信息学院
报告内容：
在报告中，我们首先介绍数学推理的一些背景概况，然后从数据、方法和评估三个方面来介绍课题组对大模型下数学推理的一些工作。在数据方面，我们会介绍一种平面几何图形的自动生成方法。在方法方面，我们首先介绍一种是基于神经符号的几何题求解方法。在评估方面，我们会介绍一种新的大模型数学推理评估范式MathCheck，它是一个用于评估大模型在数学推理任务中的泛化能力和鲁棒性的测试矩阵。
报告人简介：
王秋锋教授，西交利物浦大学智能科学系主任兼人工智能学院副院长, 苏州市认知计算应用技术重点实验室主任。他于2006在南京理工大学计算机科学与技术学院获得学士学位，2012年在中科院自动化所获得模式识别与机器智能方向博士学位。博士毕业后，分别在中科院自动化所模式识别国家重点实验室以及微软从事研发工作。于2017年2月，加入西交利物浦大学至今。王秋锋教授的研究兴趣主要包括模式识别和机器学习，特别文档图像分析与识别领域，目前是中国图象图形学会文档图像分析与识别专委会副秘书长。王秋锋教授在国际期刊和会议上发表论文近100篇，包括IEEE Trans. PAMI，Pattern Recognition, ICLR, NeurlPS，ICML等；主持参与多项科研项目包括国家自然科学基金青年项目，面上及重点项目以及腾讯CCF犀牛鸟基金等，获得了江苏省333高层次人才称号和苏州市人工智能自然科学奖一等奖等。
欢迎广大师生参加！