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.
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 […]
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 […]
Complete Calabi-Yau metrics: Recent progress and open problems
Speaker: Tristan Collins, MIT Title: Complete Calabi-Yau metrics: Recent progress and open problems Abstract: Complete Calabi-Yau metrics are fundamental objects in Kahler geometry arising as singularity models or "bubbles" in […]
Dynamics of active nematic defects on cones
Member Seminar Speaker: Farzan Vafa Title: Dynamics of active nematic defects on cones Abstract: In the first part of the talk, we investigate the ground-state configurations of two-dimensional liquid crystals with […]
Hints of Flat Space Holography
Member Seminar Speaker: Dan Kapec Title: Hints of Flat Space Holography Abstract: Despite our detailed understanding of holography in Anti-de Sitter space, flat space holography remains somewhat mysterious. “Celestial CFT” is a […]
The Black Hole Information Paradox: A Resolution on the Horizon?
Speaker: Netta Engelhardt (MIT) Title: The Black Hole Information Paradox: A Resolution on the Horizon? Abstract: The black hole information paradox — whether information escapes an evaporating black hole or […]
New bounds on lattice covering volumes, and nearly uniform covers
Member Seminar Speaker: Barak Weiss Title: New bounds on lattice covering volumes, and nearly uniform covers Abstract: Let L be a lattice in R^n and let K be a convex body. […]
The string/black hole transition in anti de Sitter space
Speaker: Erez Urbach, Weizmann Institute of Science Title: The string/black hole transition in anti de Sitter space Abstract: String stars, or Horowitz-Polchinski solutions, are string theory saddles with normalizable condensates of […]
Categorical Symmetry of the Standard Model from Gravitational Anomaly
Member Seminar Speaker: Juven Wang Title: Categorical Symmetry of the Standard Model from Gravitational Anomaly Abstract: In the Standard Model, the total "sterile right-handed" neutrino number n_{νR} is not equal to […]
Conformal symmetry, Optimization algorithms and the Critical Phenomena
Speaker: Ning Su, University of Pisa Title: Conformal symmetry, Optimization algorithms and the Critical Phenomena Abstract: In the phase diagram of many substances, the critical points have emergent conformal symmetry […]