Ruize (Richard) Xu

Ruize (Richard) Xu is a Computer Science PhD student at the University of Chicago, advised by Professor Risi Kondor on artificial intelligence for science and working with Professors David McAllester and Professor Zhiyuan Li on artificial intelligence for mathematics. His research interests lie at the intersection of machine learning for science and mathematics, focusing on Graph Neural Networks based approaches for chemical property prediction and leveraging large language models for automated theorem proving. Before his doctoral studies, Ruize earned Bachelor’s degrees in Computer Science, Mathematics, and Economics from the University of Chicago.