Zu Chongzhi Research Seminar – AI4MATH Seminar Series

Date and Time (China standard time): Tuesday, Oct 20, 10:00 AM – 11:00 AM

Location: WDR 1007

Zoom: 966 8762 1310, Passcode: dkumath

Title: Semantic Representation and Automated Reasoning for Mathematical Research

Speaker: Haocheng Ju, Boya Postdoctoral Fellow at Peking University

Abstract: 

Mathematics forms an interconnected body of knowledge, with relationships ranging from semantic similarities between individual statements to dependencies among theorems and influences across research fields. In this talk, he will begin by reviewing their work on representing mathematical knowledge at different scales, from semantic retrieval in formal libraries and the mathematical literature to modeling the global structure and development of mathematics. To expand and strengthen this body of knowledge, they have developed several AI agents to tackle open mathematical problems. He will discuss the design and implementation of these agents.

Bio: 

Haocheng Ju is a Boya Postdoctoral Fellow at Peking University. He received his B.S. and Ph.D. degrees from Peking University in 2021 and 2026, respectively. His research interests span machine learning and scientific computing, with a particular focus on AI for mathematics.