#50 Dr. CHRISTIAN SZEGEDY - Formal Reasoning, Program Synthesis
Szegedy discusses autoformalization, formal reasoning, program synthesis, and his work on adversarial examples and Inception.
1 unread notifications
Christian Szegedy is an AI researcher known for foundational work on adversarial examples, the Inception architecture, batch normalization, and neural theorem proving. He is co-founder and CEO of AletheAI and previously worked at Google Brain and xAI.
Christian Szegedy is an AI researcher known for foundational work on adversarial examples, the Inception architecture, batch normalization, and neural theorem proving. He is co-founder and CEO of AletheAI and previously worked at Google Brain and xAI.
Career
Founder at Math, Inc. from 2025 to Present
Chief Scientist at Morph Labs from 2024 to 2025 in San Francisco
Principal Scientist at Google Brain from 2015 to 2023