Others
-
2023
Nov 17
-
Automated Reasoning for Group non-orderability
Speaker(s): Zipei Nie (Huawei)
-
2023
Nov 17
-
Formalization and theorem proving based on neural-symbolic interaction
Speaker(s): Xian Zhang (Microsoft Research Asia)
-
2023
Nov 02
-
Speaker(s): Bin Nan(University of California, Irvine)
-
2023
Oct 22
-
Speaker(s): Yong Wang(Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
-
2023
Sep 19
-
Two Biostatistical Challenges in the Danish Corona modeling/prediction
Speaker(s): Theis Lange(University of Copenhagen)
-
2023
Sep 18
-
Causal Representation Learning: Successes and Challenges
Speaker(s): Kun Zhang(Carnegie Mellon University & MBZUAI)
-
2023
Sep 15
-
On the Identifiability of ODE/SDEs for Causal Inference
Speaker(s): Mingming Gong(University of Melbourne)
-
2023
Sep 14
-
Dimension Reduction for Large-Scale Federated Data: Statistical Rate and Asymptotic Inference
Speaker(s): Shuting Shen(Duke University)
-
2023
May 23
-
In Pursuit of Deciphering ReLU Networks and Beyond
Speaker(s): Fenglei Fan(The Chinese University of Hong Kong)
-
2023
May 19
-
Use Artificial Intelligence To Help Children With Autism
Speaker(s): Yueran Pan(Duke Kunshan University)
Science
- Conference
- Mini-Course
- Colloquium
- Seminars
- Algebra
- Analysis Research Interaction Team
- Algebraic Geometry
- Applied & Computational Math
- Bio-Math Seminar
- Computational Method
- Dynamical Systems
- Eastern Hemisphere Colloquium on Geometry and Physics
- Geometric Analysis
- Mathematical Imaging Science
- Number Theory
- Operations Research
- PDE/Analysis
- Postdoc Seminar
- Probability and Stochastic Process
- Representation Theory and Quantum Math
- Symplectic Geometry and Mathematical Physics
- Topology
- Others
- Visiting Program
- Special Events
