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 to improve this technology. We hope to start a discussion on projects we can do at the CMSA.
Colloquia & Seminar
Events
Calendar of Events
|
Monday
|
Tuesday
|
Wednesday
|
Thursday
|
Friday
|
Saturday
|
Sunday
|
|---|---|---|---|---|---|---|
|
0 events,
|
1 event,
-
|
0 events,
|
1 event,
-
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 continuation regions in optimal stopping. The algorithm parameterizes the stopping boundary as the graph of a function and introduces relaxed stopping rules based on fuzzy […] |
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
1 event,
-
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 physical parameters. We show that the Hodge structure attached to planar two-loop Feynman graphs decomposes into a mixed Tate piece and a variation of Hodge structure from […] |
1 event,
-
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 between the existentially optimal values and algorithmically achievable values. Examples include the problem of finding a largest independent set in a random graph, the problem […] |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
1 event,
-
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 degenerations of compact Calabi-Yau manifolds. The existence of these metrics and their relationship with algebraic geometry are the subjects of several long standing conjectures due […] |
1 event,
-
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 p-fold rotational symmetry (p-atics) on cones. The cone apex develops an effective topological charge, which in analogy to electrostatics, leads to defect absorption and emission […] |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
1 event,
-
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 formalism which attempts to recast quantum gravity in (d+2)-dimensional asymptotically flat spacetimes in terms of a d-dimensional Euclidean conformal field theory residing at the conformal […] |
1 event,
-
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 not — remains one of the most longstanding mysteries of theoretical physics. The apparent conflict between validity of semiclassical gravity at low energies and unitarity […] |
0 events,
|
0 events,
|
0 events,
|
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
2 events,
-
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 covering volume of L with respect to K is the minimal volume of a dilate rK, such that L+rK = R^n, normalized by the […]
-
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 thermal-winding strings. In the past, string stars were offered as a possible description of stringy (Euclidean) black holes in asymptotically flat spacetime, close to the […] |
0 events,
|
0 events,
|
0 events,
|