AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
5min chapter
Talia Ringer: Formal Verification and Deep Learning
The Gradient: Perspectives on AI
The Limits of Deep Learning
There are two different sets of thoughts that brings up for me. Perhaps the first one because I think the second will probably drive us down a whole separate rabbit hole. But the first is what you just described I think the deriving or understanding of relations that you and I could do with just a few examples but large models may not be able to get it yet. It does seem to gesture towards some of the kinds of examples that people like Melanie Mitchell, like Francois Soleil have kind of pointed out as these types of problems where deep learning systems suffer from their fundamental limitations. And so that does make me think about perhaps there are AI systems in general that can assist us with this kind of thing
00:00
Transcript
Episode notes
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode