演讲人： Chi Jin [Princeton University]
时间： 11:00-12:00, Jul 30, 2025 (Wed)
地点：RM 1-222, FIT Building (//meeting.tencent.com/dm/wIj1OMGZx499)
内容：
This talk introduces Goedel-Prover-V2, an open-source model that establishes a new state-of-the-art for automated theorem proving in Lean. //blog.goedel-prover.com/
个人简介:
Chi Jin is an Assistant Professor of Electrical and Computer Engineering at Princeton University. He received his Ph.D. in Computer Science from UC Berkeley, advised by Michael I. Jordan. His research focuses on building intelligent agents capable of complex strategy, reasoning, and planning. His group has made key contributions to the mathematical foundations of machine learning, especially in nonconvex optimization, reinforcement learning, and game theory/multi-agent systems. Recently, his work has expanded to LLM reasoning and AI for mathematics, games and decision making. He is a recipient of the NSF CAREER Award, Sloan Research Fellowship, and Keyes/Emerson Faculty Advancement Award.
