Welcome to the Christmas special community edition of MLST! We discuss some recent and interesting papers from Pedro Domingos (are NNs kernel machines?), Deepmind (can NNs out-reason symbolic machines?), Anna Rodgers - When BERT Plays The Lottery, All Tickets Are Winning, Prof. Mark Bishop (even causal methods won't deliver understanding), We also cover our favourite bits from the recent Montreal AI event run by Prof. Gary Marcus (including Rich Sutton, Danny Kahneman and Christof Koch). We respond to a reader mail on Capsule networks. Then we do a deep dive into Type Theory and Lambda Calculus with community member Alex Mattick. In the final hour we discuss inductive priors and label information density with another one of our discord community members.  

Panel: Dr. Tim Scarfe, Yannic Kilcher, Alex Stenlake, Dr. Keith Duggar

Enjoy the show and don't forget to subscribe!

00:00:00 Welcome to Christmas Special! 

00:00:44 SoTa meme 

00:01:30 Happy Christmas! 

00:03:11 Paper -- DeepMind - Outperforming neuro-symbolic models with NNs (Ding et al)

00:08:57 What does it mean to understand? 

00:17:37 Paper - Prof. Mark Bishop Artificial Intelligence is stupid and causal reasoning

wont fix it

00:25:39 Paper -- Pedro Domingos -  Every Model Learned by Gradient Descent Is Approximately a Kernel Machine

00:31:07 Paper - Bengio - Inductive Biases for Deep Learning of Higher-Level Cognition

00:32:54 Anna Rodgers - When BERT Plays The Lottery, All Tickets Are Winning

00:37:16 Montreal AI event - Gary Marcus on reasoning 

00:40:37 Montreal AI event -- Rich Sutton on universal theory of AI

00:49:45 Montreal AI event -- Danny Kahneman, System 1 vs 2 and Generative Models ala free energy principle

01:02:57 Montreal AI event -- Christof Koch - Neuroscience is hard

01:10:55 Markus Carr -- reader letter on capsule networks

01:13:21 Alex response to Marcus Carr 

01:22:06 Type theory segment --  with Alex Mattick from Discord

01:24:45 Type theory segment -- What is Type Theory 

01:28:12 Type theory segment -- Difference between functional and OOP languages 

01:29:03 Type theory segment -- Lambda calculus 

01:30:46 Type theory segment -- Closures 

01:35:05 Type theory segment -- Term rewriting (confluency and termination) 

01:42:02 MType theory segment -- eta term rewritig system - Lambda Calculus  

01:54:44 Type theory segment -- Types / semantics 

02:06:26 Type theory segment -- Calculus of constructions 

02:09:27 Type theory segment -- Homotopy type theory 

02:11:02 Type theory segment -- Deep learning link 

02:17:27 Jan from Discord segment -- Chrome MRU skit 

02:18:56 Jan from Discord segment -- Inductive priors (with XMaster96/Jan from Discord) 

02:37:59 Jan from Discord segment -- Label information density (with XMaster96/Jan from Discord) 

02:55:13 Outro