AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
3min chapter
#50 Christian Szegedy - Formal Reasoning, Program Synthesis
Machine Learning Street Talk (MLST)
The Future of Science
The old academic style is journal publications maybe you know conference publications which is already a bit of an exception for a scientific field but we've seen kind of a shift towards company labs being much bigger than in the past though there have been some in the past. Most of the research is producing companies and peer review it seems or conference publications are just a kind of a bit of a thing that you do. On the extreme you see like researchers that are just copying collabs from each other every two days kind of improving on each other's work and things like this where do you do? I'm excited to have see this kind of buzz that we have now, he says. It will be even craz
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