Published Dec 27, 2020

#035 Christmas Community Edition!

Delve into the fascinating dynamics between human cognition and machine intelligence, explore the foundational elements of lambda calculus in type theory with Tim Scarfe and Alex Stenlake, and join the exploration of neural networks' potential to surpass symbolic methods in AI reasoning with Yannic Kilcher.

Episode Highlights

Topics covered

Episode Highlights

Related Episodes

MLST #78 - Prof. NOAM CHOMSKY (Special Edition)
Answers 383 questions
Understanding Deep Learning - Prof. SIMON PRINCE [STAFF FAVOURITE]
Answers 383 questions
#65 Prof. PEDRO DOMINGOS [Unplugged]
Answers 383 questions
#66 ALEXANDER MATTICK - [Unplugged / Community Edition]
Answers 383 questions
#046 The Great ML Stagnation (Mark Saroufim and Dr. Mathew Salvaris)
Answers 383 questions
#94 - ALAN CHAN - AI Alignment and Governance #NEURIPS
Answers 383 questions
#032- Simon Kornblith / GoogleAI - SimCLR and Paper Haul!
Answers 383 questions
#104 - Prof. CHRIS SUMMERFIELD - Natural General Intelligence [SPECIAL EDITION]
Answers 383 questions
#106 - Prof. KARL FRISTON 3.0 - Collective Intelligence [Special Edition]
Answers 383 questions
#53 Quantum Natural Language Processing - Prof. Bob Coecke (Oxford)
Answers 383 questions
Computation, Bayesian Model Selection, Interactive Articles
Answers 383 questions
#034 Eray Özkural- AGI, Simulations & Safety
Answers 383 questions
#56 - Dr. Walid Saba, Gadi Singer, Prof. J. Mark Bishop (Panel discussion)
Answers 383 questions
#57 - Prof. Melanie Mitchell - Why AI is harder than we think
Answers 383 questions
#90 - Prof. DAVID CHALMERS - Consciousness in LLMs [Special Edition]
Answers 383 questions

Dexa/Machine Learning Street Talk (MLST)

#035 Christmas Community Edition!

Topics covered

Popular Clips

Consciousness Prior

Neural Network Architectures

Computational Theory of Intelligence

Machine Learning Insights

DeepMind's Shortcut Discovery

Understanding Machine Learning

Lambda Calculus Rewriting

Community Engagement

Human vs. Neural Networks

AI Understanding Debate

Prior Knowledge Advantage

Lambda Calculus Basics

Deep Learning Contrasted

Causal Reasoning Debate

Model Information Encoding

Episode Highlights

Human and Machine Intelligence

Type Theory Deep Dive

Neural Network Reasoning

Related Episodes

MLST #78 - Prof. NOAM CHOMSKY (Special Edition)

Understanding Deep Learning - Prof. SIMON PRINCE [STAFF FAVOURITE]

#65 Prof. PEDRO DOMINGOS [Unplugged]

#66 ALEXANDER MATTICK - [Unplugged / Community Edition]

#046 The Great ML Stagnation (Mark Saroufim and Dr. Mathew Salvaris)

#94 - ALAN CHAN - AI Alignment and Governance #NEURIPS

#032- Simon Kornblith / GoogleAI - SimCLR and Paper Haul!

#104 - Prof. CHRIS SUMMERFIELD - Natural General Intelligence [SPECIAL EDITION]

#106 - Prof. KARL FRISTON 3.0 - Collective Intelligence [Special Edition]

#53 Quantum Natural Language Processing - Prof. Bob Coecke (Oxford)

Computation, Bayesian Model Selection, Interactive Articles

#034 Eray Özkural- AGI, Simulations & Safety

#56 - Dr. Walid Saba, Gadi Singer, Prof. J. Mark Bishop (Panel discussion)

#57 - Prof. Melanie Mitchell - Why AI is harder than we think

#90 - Prof. DAVID CHALMERS - Consciousness in LLMs [Special Edition]

#035 Christmas Community Edition!

Topics covered

Popular Clips

Episode Highlights

Human and Machine Intelligence

Type Theory Deep DiveThe discussion transitions to the foundational concepts of lambda calculus and its significance in type theory. Alex Stenlake and Tim Scarfe explore its applications in programming languages and the critical concepts of confluence and termination.

Type Theory Deep Dive

Neural Network Reasoning

Related Episodes