AI and Theorem Proving
Member Seminar Speaker: Mike Douglas Title: AI and Theorem Proving Abstract: We survey interactive theorem proving and the Lean theorem prover, and the use of AI and large language models […]
12 events found.
Near extremal de Sitter black holes and JT gravity
https://youtu.be/0gWCm0wmgOY General Relativity Seminar Speaker: Chiara Toldo (Harvard) Title: Near extremal de Sitter black holes and JT gravity Abstract: In this talk I will explore the thermodynamic response near extremality of charged […]
Neural Optimal Stopping Boundary
Speaker: Max Reppen (Boston University) Title: Neural Optimal Stopping Boundary Abstract: A method based on deep artificial neural networks and empirical risk minimization is developed to calculate the boundary separating the stopping and […]
Interacting Active Matter
Active Matter Seminar Speaker: Amin Doostmohammadi, Niels Bohr Institute, University of Copenhagen Title: Interacting Active Matter Abstract: I will focus on the interaction between different active matter systems. In particular, I […]
Third Annual Yip Lecture
Andrew Strominger will give the Third Annual Yip Lecture on February 2, 2023. Time: 7:00-8:00 pm ET Location: Harvard Science Center Hall A Title: Black Holes: The Most Mysterious […]
Fracton orders in hyperbolic space and its excitations with fractal mobility
Quantum Matter Seminar Speaker: Han Yan (Rice U) Title: Fracton orders in hyperbolic space and its excitations with fractal mobility Abstract: Unlike ordinary topological quantum phases, fracton orders are intimately […]
Motivic Geometry of Two-Loop Feynman Integrals
Member Seminar Speaker: Chuck Doran Title: Motivic Geometry of Two-Loop Feynman Integrals Abstract: We study the geometry and Hodge theory of the cubic hypersurfaces attached to two-loop Feynman integrals for generic […]
From spin glasses to Boolean circuits lower bounds – Algorithmic barriers from the overlap gap property
Speaker: David Gamarnik (MIT) Title: From spin glasses to Boolean circuits lower bounds. Algorithmic barriers from the overlap gap property Abstract: Many decision and optimization problems over random structures exhibit an apparent gap […]
Bakry-Emery theory and renormalisation
Probability Seminar Speaker: Roland Bauerschmidt (Cambridge) Title: Bakry-Emery theory and renormalisation Abstract: I will discuss an approach to log-Sobolev inequalities that combines the Bakry-Emery theory with renormalisation and present several […]
Quasinormal modes and Ruelle resonances: mathematician’s perspective
https://youtu.be/FyJ6TieNQBc General Relativity Seminar Speaker: Maciej Zworski, UC Berkeley Title: Quasinormal modes and Ruelle resonances: mathematician's perspective Abstract: Quasinormal modes of gravitational waves and Ruelle resonances in hyperbolic classical dynamics […]
Special Lectures on Machine Learning and Protein Folding
The CMSA hosted a series of three 90-minute lectures on the subject of machine learning for protein folding. Thursday Feb. 9, Thursday Feb. 16, & Thursday March 9, 2023, 3:30-5:00 […]
Non-invertible Symmetry Enforced Gaplessness
Quantum Matter Seminar Speaker: Ho Tat Lam (MIT) Title: Non-invertible Symmetry Enforced Gaplessness Abstract: Quantum systems in 3+1-dimensions that are invariant under gauging a one-form symmetry enjoy novel non-invertible duality symmetries encoded […]