During 2024–25, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Samy Jelassi. This seminar will take place on Wednesdays from 2:00 pm–3:00 pm (Eastern Time). The meetings will take place in Room G10 at the CMSA, 20 Garden Street, Cambridge MA 02138, and some meetings will take place virtually on Zoom or be held in hybrid formats. To learn how to attend, please fill out this form, or contact Michael Douglas (mdouglas@cmsa.fas.harvard.edu).
The schedule will be updated as talks are confirmed.
Seminar videos can be found at the CMSA Youtube site: New Technologies in Mathematics Playlist
https://youtu.be/KOgh-FFDlvg New Technologies in Mathematics Seminar Speaker: Dylan Foster, Microsoft Research Title: Is Behavior Cloning All You Need? Understanding Horizon in Imitation Learning Abstract: Imitation learning (IL) aims to mimic the behavior […]
https://youtu.be/qC60ZgsIFvk New Technologies in Mathematics Seminar Speaker: Huajian Xin, DeepSeek Title: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series Abstract: Recent advances in large language models […]
New Technologies in Mathematics Seminar Speaker: Gail Weiss, EPFL Title: Thinking Like Transformers - A Practical Session Abstract: With the help of the RASP programming language, we can better imagine […]
https://youtu.be/o7uac6DuzcQ New Technologies in Mathematics Seminar Speaker: Leyan Pan, Georgia Tech Title: Can Transformers Reason Logically? A Study in SAT-Solving Abstract: Transformer-based LLMs have apparently demonstrated capabilities that resembles human […]