CMSA Math-Science Literature Lecture: Deep Networks from First Principles
Yi MaPhoto Copyright Noah Berger / 2019 Yi Ma (University of California, Berkeley) Title: Deep Networks from First Principles Abstract: In this talk, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular, we show how modern deep layered architectures, linear (convolution) operators and […]
CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem
Dan Freed (The University of Texas at Austin) Title: The Atiyah-Singer Index Theorem Abstract: The story of the index theorem ties together the Gang of Four—Atiyah, Bott, Hirzebruch, and Singer—and lies at the intersection of analysis, geometry, and topology. In the first part of the talk I will recount high points in the early developments. Then I […]
4/21/2021 Quantum Matter Seminar
Homotopy type theory and the quest for extensionality
Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to be a powerful framework for verified software and formalized mathematics. However, its treatment of equality has always been somewhat uncomfortable. Recently, homotopy type theory has […]