Type theory from the perspective of artificial intelligence
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of […]
CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
VirtualPeter Shor (MIT) Title: Quantum error correcting codes and fault tolerance Abstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments […]
A Bayesian neural network predicts the dissolution of compact planetary systems
Virtualhttps://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for […]
CMSA Math-Science Literature Lecture: Deep Networks from First Principles
VirtualYi 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 […]