AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond

September 2th~September 4th , 2024
application@math.pku.edu.cn + (86 10) 62744132 (8:00-17:00)
Copyright © 2017 All Rights Reserved. Beijing International Center for Mathematical Research