Join us for our weekly seminar series exploring the intersection of Large Language Models (LLMs) and Mathematics. The seminars are held on Thursdays from 3:30–4:30 PM in Hill 423 (note the change in location). Please send a message at ayush.khaitan@rutgers.edu to be included in the mailing list.
| Date | Speaker | Title of the Talk |
|---|---|---|
| February 20, 2025 | Alex Sanchez-Stern (DModel) | Synthesizing Proofs of Software Correctness with AI. Slides |
| February 27, 2025 | Alex Kontorovich (Rutgers and the IAS) | Some thoughts on Math+AI |
| March 6, 2025 | Kyu-Hwan Lee (University of Connecticut) | Mathematical Data Science |
| March 13, 2025 | TBD | TBD |
| March 27, 2025 | Thomas Hubert (Google DeepMind) | From AlphaGo to AlphaProof and the future of mathematics |
| April 3, 2025 | Kaiyu Yang (FAIR, Meta) | TBD |
| April 17, 2025 | Pan Lu (Stanford) | TBD |
| April 24, 2025 | TBD | TBD |
| May 1, 2025 | Claudio Gentile (Google Research) | TBD |