计算机学院系列讲座菁英论坛第43期——从正确性到一致性

报告题目(Title)：从正确性到一致性

时间(Date & Time)：2025.6.6; 15:00

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

主讲人(Speaker)：孙军

邀请人(Host)：詹乃军

报告摘要(Abstract)：

“正确性”一直是形式化方法里的一个核心概念，但也常被认为是难以推广这类方法的主要原因之一，因为你得先搞清楚什么才算“正确”。随着大型语言模型（LLMs）的出现，这个问题变得更加复杂，尤其是在那些很难、甚至根本没法定义正确性的应用场景中。在这次报告中，我想分享一个观点：在很多情况下，特别是和LLMs相关的应用中，“一致性”其实可以作为“正确性”的一个更实用、更容易操作的替代方案。结合两个我们最近做的案例研究：一个是用LLM做代码生成，另一个是关于AI安全的问题，我会展示在定义“正确性”很困难的时候，如何通过关注“一致性”来实现可行、有效的解决方案。

主讲人简介(Bio)：

孙军(SUN Jun)是新加坡管理大学(SMU)的教授。他于2002年和2006年分别获得新加坡国立大学(NUS)计算机科学学士和博士学位，自2010年起担任教职。孙军的研究兴趣包括人工智能安全、软件工程、和形式化方法。他喜欢设计算法，也热爱生活。孙军2次获得李光耀学者称号。发表了多篇CCF-A类期刊和会议论文，多次获得过ACM杰出论文奖。更多信息请见: https://sunjun.site

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

北京大学计算机学院