麻豆国产 “弘毅零一”学术报告

时间：2025年5月27日（星期二）上午09:00

地点：25-0114

报告题目：从软件到大模型，从正确性到一致

报告人：孙军 新加坡管理大学(SMU)教授

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

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