Word and Graph Embeddings for Machine Learning
https://youtu.be/-DKctbabRkY Speaker: Steve Skiena, Dept. of Computer Science and AI Insititute, Stony Brook University Title: Word and Graph Embeddings for Machine Learning Abstract: DeepWalk is an approach we have developed […]
CMSA Math-Science Literature Lecture: On the History of quantum cohomology and homological mirror symmetry
Maxim Kontsevich  (IHÉS) Title: On the History of quantum cohomology and homological mirror symmetry Abstract: About 30 years ago, string theorists made remarkable discoveries of hidden structures in algebraic geometry. First, the […]
Random Matrix & Probability Theory Seminar
Beginning immediately, until at least December 31, all seminars will take place virtually, through Zoom. In the 2020-2021 AY, the Random Matrix and Probability Theory Seminar will take place on […]
Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL
https://youtu.be/LZMtQNdqtvc Speaker: Lawrence Paulson, University of Cambridge Computer Laboratory Title: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL Abstract: Are proof assistants relevant to mathematics? One approach to this […]