Tags

#ai4math ⁵

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

#Course Notes ³

Modular Representation Theory Categorical Trace Tame Categorical Local Langlands

#Computer Science ³

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

#Categorical Langlands ³

CASL 2025 Categorical Trace Tame Categorical Local Langlands

#Seminar Notes ²

CASL 2025 Deligne–Langlands Conjecture

#Representation Theory ²

Modular Representation Theory Deligne–Langlands Conjecture