Christian Szegedy person
2 mentions · across 1 show
Relationship map
podcastsolid = outgoing · dashed = incoming
Connections 2
appeared on 1
-
→ appeared on The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence podcast0.68
evidence rules-v4
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745
mentioned 1
-
← mentioned The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) podcast0.72
evidence rules-v4
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745
Heard in
Mentioned in episodes
-
2025-09-02 · The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) · via mentioned · 0.72
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745
All extracted evidence for this entity (2)
title:guest Autoformalization and Verifiable Superintelligence with Chri
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745
title:guest Autoformalization and Verifiable Superintelligence with Chri
Autoformalization and Verifiable Superintelligence with Christian Szegedy - #745