Shurui Liu

About

I am currently a math Ph.D. candidate at Stanford University, CA, USA (2022 Fall – present).

My major research interest lies in geometric representation theory and categorical Langlands program. My advisor is Xinwen Zhu. See more on Publications.

I am also a CS Ph.D. minor candidate at Stanford University. I am interested in AI agents, AI for Math, and reinforcement learning. See more on Projects.

I've recently started writing a blog to help bridge the information gap between mathematicians and AI researchers. See Blog.

As hobbies, I am also interested in Lean4 and formalization of mathematics.

Previously, I was a math undergraduate at Peking University (2018–2022), Beijing, China. Here is my old homepage from that time.

Fun/silly fact: my Linux laptop basically has no GUI (except for the browser), and the power button is remapped to a surprise music button — partially thanks to the influence of my friend Alexander López.

Organizations

• Stanford Lean Club at Stanford.
• I am co-organzing Student Learning Seminar on Mathematics and Compuatation at Stanford with Henry Bosch. Here is my notes.

Visitors