北大华为联队斩获ICML AI4MATH Workshop赛道第一：让AI完成端到端形式化与定理证明 现如今，大语言模型的能力日益增强，AI已经可以逐渐攻克IMO级别的竞赛难题。作为人工智能与数学交叉的重要前沿方向，AI4Math正在推动AI从“解决数学问题”迈向“理解数学、发现数学与创造数学”，被认为是探索更高阶人工智能能力的重要路径。 然而，数学...

计算机学院张铭教授课题组获 WWW 2026 时间检验奖 北京时间 2026 年 7 月 1 日，第 35 届国际万维网大会（The Web Conference，WWW 2026）在迪拜举办颁奖仪式，本届 “首尔时间检验奖（Seoul Test of Time Award）” 授予北京大学计算机学院张铭课题组 2015 年发表于 WWW 的论文《L...

SIGMOD是数据库领域的顶尖学术会议，由中国计算机学会（CCF）推荐为A类会议。第52届SIGMOD年会于2026年5月31日在印度班加罗尔召开，汇聚全球顶尖学者与业界专家，共同探讨数据科学的最新前沿。 以下是北大数据所SIGMOD 2026论文的简要介绍： [1]. Hydraulis：通过协同设计并行策略与数据分配实现大模型训练负载均衡 论文名...

北京大学计算机学院数据科学与工程研究所9篇论文入选ICML 2026 近日，机器学习领域顶级会议 ICML 2026 放榜，来自北京大学计算机学院数据科学与工程所的9篇高水平论文成功入选篇高水平论文成功入选。 ICML 2026（第 43 届国际机器学习大会，International Conference on Machine Learning）是...

北京大学计算机学院数据所6篇论文入选ICLR 2026 近日，机器学习领域顶级会议ICLR 2026放榜，北京大学计算机学院数据科学与工程所有6篇高水平论文成功入选。其中来自张杰教授ChaseLab实验室1篇论文，来自张铭教授Dlib实验室5篇论文。The International Conference on Learning Representa...