Time：10:30-12:00, Thursday, June 18 2026
Venue：E14-116
Speaker：Yijun Yuan, ITS
Title：AI4Math, Formalization, and Education
Abstract：In this talk, I will discuss the current trend of using AI and formalization for accelerating mathematical research, and then introduce our effort in using AI and formalization for our undergraduate education.
