Colloquium Speaker: Subhabrata Sen, Harvard Statistics Title: Spectral Methods for signal recovery in multi-modal problems Abstract: Motivated by multi-modal estimation, we will study a multi-view spiked random matrix model in […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
CMSA Q&A Seminar Speaker: Shaoyun Bai, MIT Title: What is a virtual fundamental cycle? (ICM Series: On the work of John Pardon) Abstract: One of Pardon’s important contribution to symplectic […]
New Technologies in Mathematics Seminar Speaker: tba
Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia
Member Seminar Speaker: Lorenzo Riva
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: TBA
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 […]
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo
Member Seminar Speaker: Yiqi Liu