综合报告

2023

Apr 18

综合报告

Introduction to the Lean Theorem Prover

主讲人 : Johan M. Commelin (University of Freiburg)

2023

Apr 12

综合报告

AI for Mathematics之大语言模型在定理证明与数学形式化上的一些实践

主讲人 : 刘征瀛 (华为诺亚方舟实验室)

2023

Apr 11

综合报告

Recent Progress in Topology Optimization

主讲人 : 王筱平（香港科技大学 & 香港中文大学-深圳）

2023

Apr 04

综合报告

Approximate Controllability of PDEs: A Review of Recent Developments

主讲人 : Vahagn Nersesyan (New York University Shanghai)

2023

Mar 22

综合报告

Math Modeling Assisted by Large Language Models

主讲人 : 印卧涛（阿里巴巴达摩院），林方全（阿里巴巴达摩院）

2023

Mar 07

综合报告

“数学一小时”系列报告：AI for Mathematics 之数学的形式化

主讲人 : 董彬（北京国际数学研究中心）& 刘若川（北京国际数学研究中心）

2023

Mar 07

综合报告

Mean Field Limits for Weakly Interacting Diffusions: Phase Transitions, Multiscale Analysis, Metastability and...

主讲人 : Grigorios A. Pavliotis (Imperial College London)

2023

Feb 28

综合报告

On the Stability of Multi-Dimensional Rarefaction Waves

主讲人 : 于品（清华大学）