https://youtu.be/UnYrWuOzOlc Speaker: Josef Urban, Czech Technical University Title: AI and Theorem Proving Abstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated […]
Speaker: Christian Szegedy Title: Language Modeling for Mathematical Reasoning Abstract: In this talk, I will summarize the current state of the art of transformer based language models and give examples on […]
During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces. In order to attend this […]
Dan Spielman (Yale University) Title: Discrepancy Theory and Randomized Controlled Trials Abstract: Discrepancy theory tells us that it is possible to partition vectors into sets so that each set looks […]
Speaker: Carl Allen and Ivana Balažević - University of Edinburgh School of Informatics Title: Knowledge graph representation: From recent models towards a theoretical understanding Abstract: Knowledge graphs (KGs), or knowledge bases, are […]