2026 · Zhejiang University

AI4Math @ ZJU

Summer School · 暑期学校

Lean 形式化数学

时间: 2026 / 7 / 15 — 7 / 21
地点: 浙江大学紫金港校区东1B教学楼（210/211/212 教室）

查看课程与课件 → Workshop · 数学智能研讨会

AI4MATH Workshop

时间: 2026 / 7 / 22 — 7 / 24
地点: 浙大紫金港启真酒店（浙江大学紫金港校区东1门北侧）

查看报告、题目与摘要 →