Student Learning Seminar on Mathematics and Computation
I am coorganizing Student Learning Seminar on Mathematics and Computation with Henry Bosch at Department of Mathematics at Stanford University.
- Location: 384H, Sloan Hall 380, Stanford. You can also join virtually; please email either Henry or me for Zoom link.
- Time: Wednesday 1-2pm.
- More info: please see Department website
- Talk will be recorded and available at Youtube channel if the speaker permits.
Research Problems in Pretraining
Sheng Zha's talk on pretraining
Shurui Liu
Research Problems in Pretraining
Monte Carlo Tree Search for Theorem Proving
Fred's talk on computation seminar
Shurui Liu
Monte Carlo Tree Search for Theorem Proving
Fine-tuning LLMs via policy gradient algorithms
Talk by Shengtong Zhang
Shurui Liu
Fine-tuning LLMs via policy gradient algorithms
Misadventures in machine learning for mathematics (Otis Chodosh)
Misadventures in machine learning for mathematics (Otis Chodosh)
Shurui Liu
Misadventures in machine learning for mathematics (Otis Chodosh)
Mathematics as Search Problems
First Talk by Henry Bosch
Shurui Liu
Mathematics as Search Problems