报告题目：神经符号融合形式推理初探

报告摘要：神经符号融合是实现丹尼尔•卡尼曼“系统1”+“系统2”式思维的有效途径。本报告介绍我们在以大模型与符号工具相结合的方式完成强推理任务方面的一些初步探索，包括数学语料的自动合成、数学命题的自动形式化、不等式的自动形式证明以及程序循环不变式的自动合成等。

报告人： 马晓星 教授

   （国家重大人才、南京大学计算机学院院长）

专家简介：马晓星，南京大学教授、计算机学院院长。中国计算机学会软件工程专业委员会主任。主要研究方向包括智能软件工程、软件自适应技术、软件体系结构与中间件等。研究工作得到国家自然科学基金A类基金、国家973/863项目课题、国家自然科学基金重大项目课题等项目资助；发表学术论文百余篇，曾获中创软件人才奖、两次国家科技进步二等奖（分别为第2、第4完成人）等。

报告时间：2025.3.5（周三）下午4：00

报告地点：明理楼109