刘抒睿

关于我

我目前是斯坦福大学数学系博士研究生（2022年秋季至今）。

我的主要研究方向是几何表示论和范畴化Langlands纲领。我的导师是朱歆文。详见论文。

我同时是斯坦福大学计算机科学博士辅修研究生，对AI智能体、AI for Math和强化学习感兴趣。详见项目。

作为兴趣爱好，我对Lean4和数学形式化也很感兴趣，并担任斯坦福大学 Stanford AI for Lean 社团副主席。

此前，我在北京大学数学科学学院获得学士学位（2018–2022）。这是我当时的旧主页。

组织

• 斯坦福大学 Stanford AI for Lean 社团。
• 我与 Henry Bosch 在斯坦福共同组织 Student Learning Seminar on Mathematics and Computation。这是我的笔记。