Colloquium

2023

Apr 25

Colloquium

Generalization Ability of Overparametrized Neural Network

Speaker(s): Qian Lin (Tsinghua University)

2023

Apr 25

Colloquium

[Distinguished Lecture] Kleinian Groups in Several Complex Variables

Speaker(s): José A. Seade (Mexican Academy of Sciences)

2023

Apr 18

Colloquium

[Distinguished Lecture] Quantum Computation of Partial Differential Equations

Speaker(s): Shi Jin (Shanghai Jiao Tong University)

2023

Apr 18

Colloquium

Introduction to the Lean Theorem Prover

Speaker(s): Johan M. Commelin (University of Freiburg)

2023

Apr 12

Colloquium

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

Speaker(s): 刘征瀛 (华为诺亚方舟实验室)

2023

Apr 11

Colloquium

Recent Progress in Topology Optimization

Speaker(s): Xiaoping Wang (Hong Kong University of Science and Technology and Chinese University of Hong Kong, Shenzhen)

2023

Apr 04

Colloquium

Approximate Controllability of PDEs: A Review of Recent Developments

Speaker(s): Vahagn Nersesyan (New York University Shanghai)

2023

Mar 22

Colloquium

Math Modeling Assisted by Large Language Models

Speaker(s): Wotao Yin (Alibaba DAMO Academy), Fangquan Lin (Alibaba DAMO Academy)

2023

Mar 07

Colloquium

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

Speaker(s): Bin Dong (BICMR), Ruochuan Liu (BICMR)

2023

Mar 07

Colloquium

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

Speaker(s): Grigorios A. Pavliotis (Imperial College London)