Automatically Preventing, Detecting, and Repairing Crucial Errors in Programs Jialu Zhang 2024-04-15 上海交通大学电信群楼1-418会议室
Machine Learning for Real-Time Constrained Optimization 陈名华, City University of Hong Kong 2023-12-22 电信群楼1-418会议室
Strong Spatial Mixing for Colorings on Trees and its Algorithmic Applications Zongchen Chen, University at Buffalo 2023-12-06 电信群楼3号楼326A
Iterative Learning and Planning for Public Sector Applications: Deployed Studies Ryan Shi 2023-10-11 逸夫楼208会议室
Approximate Counting for Spin Systems in Sub-Quadratic Time Jiaheng Wang, University of Edinburgh 2023-09-14 电信群楼3-320会议室
Large scale geometry of graphs of polynomial growth Jing Yu, Georgia Institute of Technology 2023-08-28 电信群楼3-320会议室
