北京智源人工智能研究院(简称“智源研究院”)是落实“北京智源行动计划”的重要举措,是在科技部和北京市委市政府的指导和支持下,由北京市科委和海淀区政府于2018年11月推动成立的新型研发机构。

为支持科学家勇闯人工智能科技前沿“无人区”,挑战最基础的问题和最关键的难题,推动人工智能理论、方法、工具、系统和应用取得变革性、颠覆性突破,智源研究院先后成立了「人工智能的数理基础」、「机器学习」、「智能信息检索与挖掘」、「智能体系架构与芯片」、「自然语言处理」、「人工智能的认知神经基础」等六个重大研究方向。

「人工智能的数理基础」重大方向,以北京大学张平文院士牵头,分别来自北大、清华、中科院的12位学者,围绕当前人工智能面临的可计算性、可解释性、泛化性、稳定性的重大理论挑战,以期打破基于计算机实验和神经科学的人工智能管用建模范式,建立以数学与统计理论为第一原理的新一代人工智能方法论

为促进该领域最前沿研究在国内广泛、快速地传播,以及提供学科交叉碰撞的平台,智源研究院「人工智能的数理基础」方向的诸位学者将不定期邀请世界范围内的顶尖学者进行系列前沿报告。

作为首期报告,我们分别邀请了深圳光启高等理工研究院副院长季春霖、上海科技大学副教授/研究员廖奇峰、上海纽约大学终身助理教授凌舒扬,就其最新研究做报告讲解。

时间形式

  1. 会议时间:2021年3月31日14:00-17:00

  2. 活动形式:腾讯会议(ID :892 217 747)

活动日程(勘误:下表中为“前沿系列报告第三期”)

会议详情

报告一

报告主题:复杂曲线的统计建模及其工业应用

报告人:季春霖

个人简介:季春霖博士,深圳光启高等理工研究院副院长,大数据与人工智能首席科学家, 正高级工程师。2006年获英国剑桥大学硕士,2009年获美国杜克大学统计学博士,曾任美国哈佛大学统计系博士后研究员。2010年回国与合作者共同创立了深圳光启高等理工研究院,担任研究院副院长,从事科技产业创新和统计方法工程应用的科研工作。担任中国统计学会常务理事,中国统计研究会计算统计分会常务理事,深圳市统计学会副会长,深圳市数据科学与建模技术重点实验室主任等。

报告摘要:函数型数据处理是统计建模方面一个有挑战性的工作。在很多工程问题的参数设计中,我们对给定的设计点进行有限元分析和模拟,通常所得到的响应是复杂的函数曲线,如本文主要探讨的超材料设计的响应曲线是一个随频率变化的多谐振的曲线。传统的多项式或样条代替模型不适合处理这种谐振曲线的拟合。我们提出了一些半物理模型,将曲线分解为一些有“物理”意义的项,获得了高精度的曲线拟合。并且得到了一种对这类复杂曲线的有效的回归分析方法。同时针对曲线之间距离度量这一工程设计问题,我们引入了最佳输运方法和Wasserstein距离,提出了一种对曲线均值和变化范围的度量的方法,可以对这类曲线进行有效的不确定性量化分析,参数校验和逆向设计。深度学习方法的发展为复杂曲线拟合和材料设计带来了新的机遇,我们探索了利用条件变分推断网络实现由函数曲线直接预测微结构拓扑,已经取得初步成效,为函数型数据分析和处理带来了新的方法。仿真研究表明了上述方法的有效性。

报告二

报告题目:Flow-based domain-decomposition approaches for uncertainty quantification

报告人:廖奇峰

个人简介:廖奇峰博士,廖奇峰于2010在英国曼彻斯特大学数学学院获得数值计算博士学位,分别于2007年和2006年获得曼彻斯特大学数学学院硕士学位和四川大学数学学院学士学位。2011年1月至2012年6月,在美国马里兰大学计算机系从事博士后研究工作;2012年7月至2015年2月,在美国麻省理工学院航空航天系从事博士后研究工作;2015年3月,作为助理教授/研究员加入上海科技大学信息科学与技术学院;2021年2月至今,任上海科技大学信息科学与技术学院副教授/研究员。

报告摘要:The domain decomposition uncertainty quantification method (DDUQ) provides a decomposed strategy to conduct uncertainty analysis for complex engineering systems governed by PDEs. In DDUQ, uncertainty analysis on each local component is independently conducted in an "offline" phase, and global uncertainty analysis results are assembled using precomputed local information in an "online" phase through importance sampling. The performance of DDUQ relies on the coupling surrogates and probability density estimation during the importance sampling procedure. Since coupling surrogates can give high-dimensional interface parameters, we in this work develop flow based interface coupling strategy, which dramatically improve the efficiency of DDUQ.

报告三

报告主题:Solving orthogonal group synchronization on networks via spectral methods and optimization

报告人:凌舒扬

个人简介:Shuyang Ling is currently a tenure-track Assistant Professor of Data Science at New York University Shanghai and NYU Global Network Assistant Professor. From 2017 to 2019, he was an Assistant Professor/Courant Instructor at Courant Institute of Mathematical Sciences (CIMS) and Center for Data Science. He received his PhD in Mathematics at University of California, Davis, supervised by Prof. Thomas Strohmer in 2017. His research broadly focuses on the mathematics of data science and machine learning: solve fundamental mathematical and algorithmic problems arising from data science with tools from optimization, random matrix theory, computational harmonic analysis, spectral graph theory, and statistics.

报告摘要:Group synchronization aims to recover the group elements from their noisy pairwise measurements. It has found numerous applications in community detection, clock synchronization, and joint alignment problem. In this talk, we will focus on the orthogonal group synchronization which is often used in cryo-EM, computer vision, and multiple point clouds registration. However, it is generally NP-hard to retrieve the group elements by finding the least squares estimator. We will introduce three different classes of approaches to tackle the orthogonal group synchronization: spectral methods, convex relaxation, and efficient nonconvex method such as Burer-Monteiro factorization and power method. We will discuss several aspects of theoretical and algorithmic advances (a) when do simple spectral methods work? Is it optimal in terms of information theoretical limits? (b) when is convex relaxation tight, i.e., the solution from convex relaxation is exactly the global optimal solution; (c) when does nonconvex approach work? We will understand how the random optimization landscape depends on the signal-to-noise ratio. Numerical experiments will be provided to complement our analysis and future directions will be discussed.

青源Forum | 人工智能的数理基础前沿系列报告 · 第 3 期相关推荐

  1. 青源 Forum | 人工智能的数理基础前沿系列报告 · 第 4 期

    北京智源人工智能研究院(简称"智源研究院")是落实"北京智源行动计划"的重要举措,是在科技部和北京市委市政府的指导和支持下,由北京市科委和海淀区政府于2018年 ...

  2. 青源 Forum | 人工智能的数理基础前沿系列报告 · 第 5 期

    ‍‍ ‍‍ ‍‍ ‍‍ 北京智源人工智能研究院(简称"智源研究院")是落实"北京智源行动计划"的重要举措,是在科技部和北京市委市政府的指导和支持下,由北京市科委 ...

  3. 智源论坛 | 人工智能的数理基础(系列报告)

    活动亮点 智源论坛,AI技术前沿精粹尽览 独家经验分享,顶尖学者零距离 探讨前沿技术,亦分享职业经验 助你成为更好的研究者.工程师 当前人工智能面临如下重大理论挑战:可计算性.可解释性.泛化性.稳定性 ...

  4. 人工智能数理基础 · 前沿系列报告议程 第 6 期

    北京智源人工智能研究院(简称"智源研究院")是落实"北京智源行动计划"的重要举措,是在科技部和北京市委市政府的指导和支持下,由北京市科委和海淀区政府于2018年 ...

  5. “人工智能的数理基础”主题论坛,五位学者从数学角度解决AI问题

    导语:来自北京大学的五位学者参加了"人工智能的数理基础"主题论坛,他们从数学.统计和计算的角度做了学术报告. 智东西5月9日消息,围绕当前人工智能面临的可计算性.可解释性.泛化性. ...

  6. 人工智能的大统一理论? | 智源大会-「人工智能的数理基础」专题论坛

    当下人工智能面临着可计算性.可解释性.泛化性.稳定性等诸多重大理论挑战,如何打破基于计算机实验和认知神经科学的人工智能传统建模范式,建立起以数学与统计理论为第一原理的新一代人工智能方法论,依然是待开垦 ...

  7. 青职院人工智能03机器学习基础(二)

    2.2 机器学习学习方式 根据数据类型的不同,对一个问题的建模有不同的方式.依据不同的学习方式和输入数据,机器学习主要分为以下四种学习方式. 2.2.1 监督学习 特点:监督学习是使用已知正确答案的示 ...

  8. 论坛报名 | 数理基础:人工智能的重大理论挑战和最新成果

    与6位图灵奖得主和100多位专家 共同探讨人工智能的下一个十年 长按图片或点击阅读原文,内行盛会,首次免费注册 北京智源大会倒计时:10天 2020年6月21-24日,第二届北京智源大会(官网:htt ...

  9. AI:2023年6月9日北京智源大会演讲分享之基础模型前沿技术论坛—《工程化打造AI中的CPU》、《构建一个AI系统:在LLM上应用带有RLHF来推进定制》、《多模态预训练的进展回顾与展望》、《扩展大

    AI:2023年6月9日北京智源大会演讲分享之基础模型前沿技术论坛-<工程化打造AI中的CPU>.<构建一个AI系统:在LLM上应用带有RLHF来推进定制>.<多模态预训 ...

最新文章

  1. shell中read用法
  2. 数据中心的未来:一体化无人值守
  3. 网站图片全自动加密_11 个值得收藏的在线工具和资源网站
  4. Lync Server 2010标准版系列PART3:证书准备
  5. StringUtils.isAlphanumeric(String)方法检查中文是通过的,需要注意。它不能用来检测字符串是否只包含英文和数字。
  6. 实地址模式下的中断向量表
  7. [翻译] PPDragDropBadgeView
  8. ES6之let与const
  9. 概率论与数理统计(一):教你一步步推贝叶斯公式
  10. iredmail邮箱使用
  11. tukey 窗口_HIFIDIY论坛-频响测量的SPL准确性与窗口对齐 - Powered by Discuz!
  12. CS5210 CS5213 CS5212 CS5211 CS5216电路原理图+PCB板
  13. ASO优化关键词覆盖、曝光原理
  14. [附源码]计算机毕业设计Python+uniapp作业批改系统APP4238p(程序+lw+APP+远程部署)
  15. ESD-CAN安装调试笔记
  16. linux常用命令_隋小bai
  17. 使用IMS实现LTE的语音通话(VoLTE)
  18. 解决了:微信小程序使用canvas绘制倒计时圆圈和数字居中的实现
  19. 面向对象和面向过程的区别以及封装继承多态的优缺点
  20. java程序员面试常见面试题及答案整理

热门文章

  1. 【PHPExcel】生成Excel2007文件并下载
  2. html6个圆圈放一排,html中两个选择框如何并排放置(一)
  3. jmeter测试java接口测试_简单易学的测试攻略:JMeter测试Java请求示例
  4. 是vans_你知道VANS有哪些好鞋不贵系列?
  5. eclipse java代码颜色设置颜色设置颜色设置颜色设置颜色_eclipse设置(颜色,字体等)...
  6. tomcat 连接oracle重连,JSP+Tomcat连接Oracle数据库
  7. (六)Redis主从自动恢复-sentinel
  8. 一机玩转docker之十:创建及使用ssh镜像
  9. hadoop错误,重新格式化namenode后,出现java.io.IOException Incompatible clusterIDs
  10. Cordova+jQuery Mobile+Spring REST