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 to construct vertex embeddings: vector representations of vertices which be applied to a very general class of problems in data mining and information retrieval. DeepWalk […]
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 usual cup-product on the cohomology of a complex projective variety admits a canonical multi-parameter deformation to so-called quantum product, satisfying a nice system of differential […]
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 select Wednesdays from 2:00 – 3:00pm virtually. This seminar is organized by Christian Brennecke (brennecke@math.harvard.edu ). To learn how to attend this seminar, please fill out this form. […]
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 question is to explore the breadth of mathematical topics that can be formalised. The partition calculus was introduced by Erdös and R. Rado in 1956 […]