Seminars

Bridging the Gap Between Symbolic and Logical Methods and Deep Learning Methods

The Sweedler Semantics and the propogation of uncertainty through Turing machines (joint talk with Daniel Murfet), Will Troiani's slides Daniel Murfet's slides