计算机学院系列讲座菁英论坛第42期——From Neural Theorem Proving to Diffusion Reasoning Model: A Paradigm Shift in Automated Reasoning

报告题目(Title)：From Neural Theorem Proving to Diffusion Reasoning Model: A Paradigm Shift in Automated Reasoning

时间(Date & Time)：2025.5.20; 14:00

地点(Location)：理科一号楼1621（燕园校区）Room 1621, Science Building #1 (Yanyuan)

主讲人(Speaker)：李震国

邀请人(Host)：詹乃军

报告摘要(Abstract)：

在基础模型领域，从神经定理证明迈向扩散推理模型，正引发一场“显示搜索”(explicit search)到“隐式推理”(implicit reasoning)的范式转变。本次报告将首先介绍 ProofAug 这一自动定理证明新方法，它通过对模型生成证明提案的细粒度结构分析，为大语言模型配备不同粒度自动化方法，可与树搜索算法无缝集成，在 miniF2F-test 基准测试中，借助开源 deepseek-math-7b-base 模型、Isabelle 证明助手及混合提示策略，以极少样本预算达成 66.0% 的累计通过率。接着，我们将分享如何基于扩散模型来建模图片和语言，实现可控AIGC、理解与生成统一。最后，我们将展示扩散语言模型 Dream 7B -- 当前最强大的开源扩散语言模型。该模型不仅在性能上大幅超越现有同类模型，更在通用任务、数学推理及编程能力等方面，与超大规模自回归语言模型比肩甚至实现超越，其卓越的规划能力与推理灵活性，展现了作为下一代推理模型的潜力。

主讲人简介(Bio)：

李震国博士是华为诺亚方舟AI基础理论实验室主任，香港科技大学计算机科学和工程系的兼职教授。他在北京大学获得数学学士和硕士学位，在香港中文大学获得机器学习博士学位，曾在哥伦比亚大学电气工程系担任副研究员。他的研究兴趣包括机器学习和人工智能。他长期担任NeurIPS、ICLR、ICML等国际AI顶会领域主席，连续多年入选Aminer评选的“AI2000最有影响力学者” 以及斯坦福大学评选的“全球前2%高引科学家”。

欢迎关注计算机学院微信公众号，了解更多讲座信息！

北京大学计算机学院