CMSA Q and A Seminar 10/10/23
CMSA Q and A Seminar Speakers: Dan Freed (Harvard Math and CMSA) and Sunghyuk Park (CMSA) Topics: Dan Freed: What is Dijkgraaf-Witten theory? Sunghyuk Park: What happened at the Clay Math Institute […]
12 events found.
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://youtu.be/u-pkmdkQoMU New Technologies in Mathematics Seminar Speaker: Alex Gu, MIT Dept. of EE&CS Title: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Abstract: Large language models (LLMs) have shown promise in proving formal […]
On the Breakdown of Einstein’s Gravity
Member Seminar Speaker: Puskar Mondal (CMSA) Title: On the Breakdown of Einstein's Gravity Abstract: It is important to understand under which conditions, the solutions of non-linear hyperbolic PDEs break down in finite […]
An exploration of infinite games—infinite Wordle and the Mastermind numbers
Speaker: Joel D. Hamkins (Notre Dame and Oxford) Title: An exploration of infinite games—infinite Wordle and the Mastermind numbers Abstract: Let us explore the nature of strategic reasoning in infinite games, focusing […]
Physics of Language Models: Knowledge Storage, Extraction, and Manipulation
https://youtu.be/M25cbX5do8Y New Technologies in Mathematics Seminar Speaker: Yuanzhi Li, CMU Dept. of Machine Learning and Microsoft Research Title: Physics of Language Models: Knowledge Storage, Extraction, and Manipulation Abstract: Large language models (LLMs) can […]
Black Holes as Quantum Systems
Member Seminar Speaker: Daniel Kapec (CMSA) Title: Black Holes as Quantum Systems Abstract: To an outside observer, a black hole appears to be an ordinary quantum mechanical system with finite entropy and […]
On Provable Copyright Protection for Generative Model
Speaker: Boaz Barak (Harvard) Title: On Provable Copyright Protection for Generative Model Abstract: There is a growing concern that learned conditional generative models may output samples that are substantially similar to some copyrighted […]
CMSA Q and A Seminar 10/24/23
CMSA Q and A Seminar Speakers: Xi Yin (Harvard Physics) and Peter Kronheimer (Harvard Math) Topics: Xi Yin: What is string field theory? Peter Kronheimer: What is Seiberg-Witten theory?
Llemma: an open language model for mathematics
https://youtu.be/bRHb-MVExJ4 New Technologies in Mathematics Seminar Speaker: Sean Welleck, CMU, Language Technologies Institute Title: Llemma: an open language model for mathematics Abstract: We present Llemma: 7 billion and 34 billion […]
Extension of pluricanonical forms in positive and mixed characteristics
Member Seminar Speaker: Iacopo Brivio (CMSA) Title: Extension of pluricanonical forms in positive and mixed characteristics Abstract: The geometry of a complex manifold $X$ is to a large extent determined by its […]
Homotopy categories of rings: some properties and consequences in module categories
Speaker: Manuel Cortés-Izurdiaga (University of Malaga) Title: Homotopy categories of rings: some properties and consequences in module categories Abstract: Given a non-necessarily commutative ring with unit and an additive subcategory of […]
Deformations of Landau-Ginzburg models and their fibers
Member Seminar Speaker: Zi Yang Kang Title: Deformations of Landau-Ginzburg models and their fibers Abstract: In mirror symmetry, the dual object to a Fano variety is a Landau-Ginzburg model. Broadly, a […]