#ai4math
Research Problems in Pretraining
Sheng Zha's talk on pretraining
Monte Carlo Tree Search for Theorem Proving
Fred's talk on computation seminar
Fine-tuning LLMs via policy gradient algorithms
Talk by Shengtong Zhang
Misadventures in machine learning for mathematics (Otis Chodosh)
Misadventures in machine learning for mathematics (Otis Chodosh)
Mathematics as Search Problems
First Talk by Henry Bosch