https://youtu.be/a2S_-pl6onM New Technologies in Mathematics Seminar Speaker: Gabriel Poesia, Dept. of Computer Science, Stanford University Title: Peano: Learning Formal Mathematical Reasoning Without Human Data Abstract: Peano is a theorem proving environment in which a computational agent can start tabula rasa in a new domain, learn to solve problems through curiosity-driven exploration, and create its own higher level […]
Speaker: Brian Williams (Boston University) Title: Koszul duality in QFT Abstract: We will describe appearances of the algebraic phenomena of Koszul duality in the context of boundary conditions and defects in quantum field theory. Primarily motivated by topological string theory, this point of view was pioneered by Costello and Li in their proposal for a […]
https://youtu.be/JYt-ldZ3DqM New Technologies in Mathematics Seminar Speaker: Abhishek Panigrahi, Dept. of Computer Science, Princeton University Title: On the Power of Forward pass through Transformer Architectures Abstract: Highly trained transformers are capable of interesting computations as they infer for an input. The exact mechanism that these models use during forward passes is an interesting area of […]
Member Seminar Speaker: Aghil Alaee Title: A quasi-local mass in general relativity Abstract: One of the fundamental open problems in geometric analysis and mathematical relativity is constructing a (universal) energy/mass quantity to compute the energy/mass of a finite region of spacetime, which can include a star, black hole, or galaxy. We define a new gauge-independent quasi-local mass […]
Speaker: Jeff W. Lichtman (Harvard University) Title: The analytical challenges of connectomics Abstract: Recent progress in generating synapse-level maps of brains, a field known as connectomics, brings both opportunities and challenges. The upside is that the biophysical instantiation of memories, behaviors, and knowledge will soon be before us. The downside is that no one knows exactly how […]
Speaker: Dana Bartosova (University of Florida) Title: What do topological dynamics, combinatorics, and model theory have in common? Abstract: A striking correspondence between dynamics of automorphism groups of countable first order structures and Ramsey theory of finitary approximation of the structures was established in 2005 by Kechris, Pestov, and Todocevic. Since then, their work has been generalized […]
Member Seminar Speaker: Samy Jelassi Title: An introduction to mixture of experts in deep learning Abstract: Scale has opened new frontiers in natural language processing – but at a high cost. Mixture-of-Experts (MoE) have been proposed as a path to even larger and more capable language models. They select different parameters for each incoming example. By […]
Speaker: Xuwen Zhu (Northeastern) Title: Analysis of ALH* gravitational instantons Abstract: Gravitational instantons are non-compact Calabi-Yau metrics with L^2 bounded curvature and are categorized into six types. We will discuss one such type called ALH* metrics which has a non-compact end modelled by the Calabi ansatz with inhomogeneous collapsing near infinity. Such metrics appeared recently in the works on SYZ conjecture, […]
CMSA Q and A Seminar Speakers: Mike Douglas (Harvard CMSA) and Anurag Anshu (Harvard Computer Science) Topics: Mike Douglas: What are scaling laws in deep learning? Anurag Anshu: What's the difference between classical information theory and quantum information theory (or classical computation vs quantum computation)?
Member Seminar Speaker: Juven Wang Title: Open Problems in Physics and Novel Solutions from Math Abstract: (1) How do neutrinos obtain tiny mass and oscillate between e, \mu, \tau three flavors? What consists of Dark Matter? What causes leptogenesis and baryogenesis? (2) Why the Parity Symmetry is violated in the weak interaction? How do we quantum mechanically regularize and […]
Colloquium Speaker: Justin Moore (Cornell University) Title: Homology, higher derived limits, and set theory Abstract: Singular homology has a number of well-known defects when used to study spaces such as the Hawaiian earring and solenoids. It may not reflect the "shape" of the space and can give counterintuitive information about its dimension. One remedy of […]
Member Seminar Speaker: Alejandro Poveda Title: On compactness phenomena Abstract: In this presentation I shall be preoccupied with compactness phenomena in set theory. Compactness is the phenomenon by which the local properties of a mathematical structure determine its global behavior. This phenomenon is intrinsic to the very architecture of the mathematical universe and manifests to us in a […]