L o a d i n g

Events

AI4Math, Formalization, and Education

Date:2026-06-12

报告人 时间 10:30-12:00
地点 E14-116 2026
月日 06-18 重复类型
重复结束日期

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.


TOP