刘抒睿

笔记

如果我的笔记中有任何错误，请告知我——我将非常感谢！有时链接会在我进行修正时暂时失效。

通过每个笔记下方的标签浏览主题，或查看所有标签。

#Categorical Langlands 3

CASL 2025 Categorical Trace Tame Categorical Local Langlands

#Computer Science 3

CS 224R: Deep Reinforcement Learning CS 246: Mining Massive Data Sets CS 265: Randomized Algorithms and Probabilistic Analysis

#Course Notes 3

Modular Representation Theory Categorical Trace Tame Categorical Local Langlands

#Representation Theory 2

Modular Representation Theory Deligne–Langlands Conjecture

#Seminar Notes 2

CASL 2025 Deligne–Langlands Conjecture

#ai4math 5

Research Problems in Pretraining Monte Carlo Tree Search for Theorem Proving Fine-tuning LLMs via policy gradient algorithms Misadventures in machine learning for mathematics (Otis Chodosh) Mathematics as Search Problems