Talks & Seminars

Haocheng Ju｜Semantic Representation and Automated Reasoning for Mathematical Research

mjj·Nov 4, 2026, 9:52 PM CST·0

Haocheng Ju · 北京大学

Zu Chongzhi Research Seminar – AI4MATH Seminar Series · Past · Hybrid

2026-10-20 10:00 – 11:00 (UTC+08:00)

昆山杜克大学 WDR 1007 / Zoom

#1 · Opening post

北京时间　10 月 20 日（周二）10:00–11:00

历史 Zoom 会议号　966 8762 1310　｜　密码　dkumath

报告从数学文献与形式化库中的语义检索出发，讨论如何刻画定理之间的依赖关系，以及如何据此设计处理开放数学问题的智能体。

Manage content