Outreach Signals
Publishing Details
Contact & Outreach
About This Podcast
Social Media
Explore Statistics
Recent Episodes
S1E11 DreamCoder's Wake-Sleep Library Learning - Kevin Ellis
Kevin Ellis, Assistant Professor at Cornell University, discusses his influential paper “DreamCoder,” which presents a system that jointly learns reusable program abstractions and a neural search…
S1E10 Semantic Programming by Example with Pre-trained Models - Gust Verbruggen
Gust Verbruggen, Senior AI researcher and member of the PROSE team at Microsoft, discusses his paper "Semantic Programming by Example with Pre-trained Models," which introduces a framework for…
S1E9 February 2026 Podcast Recap
Program synthesis is the problem of automatically generating code that satisfies a specification. The real challenge isn’t searching faster, it’s making the right parts of the search space searchable…
S1E8 Relational Decomposition for Program Synthesis - Céline Hocquette
The way a problem is represented can determine whether it is solvable at all.Céline Hocquette, AI researcher at Ndea and former postdoctoral researcher at the University of Oxford, discusses her…
S1E7 Symbolic World Models - Top Piriyakulkij
Wasu "Top" Piriyakulkij, PhD student at Cornell University advised by Kevin Ellis, discusses his paper "PoE-World: Compositional World Modeling with Products of Programmatic Experts." The episode…
S1E6 Vision-Language Programs - Antonia Wüst
Antonia Wüst, PhD student at TU Darmstadt, discusses her paper "Synthesizing Visual Concepts as Vision-Language Programs," which introduces a neuro-symbolic approach to visual concept induction by…
S1E5 Inductive Logic Programming - Andrew Cropper
Andrew Cropper, logic luminary and creator of the popular Popper, discusses the paper "Inductive Logic Programming at 30: A New Introduction."This episode examines how inductive logic programming…
S1E4 Symbolic Linear Temporal Logic over Finite Traces Synthesis - Moshe Vardi
Moshe Vardi, Professor at Rice University and one of the most influential figures in logic, verification, and theoretical computer science, discusses his paper “Symbolic LTLf Synthesis”.This…
S1E3 Live @ NeurIPS 2025
This is a special episode of the Abstract Synthesis podcast featuring a series of live interviews from NeurIPS 2025 in sunny San Diego, California.Rather than centering on a single paper, this…
S1E2 Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
Leading formal methods researcher Kedar Namjoshi (Distinguished Member of Technical Staff, Nokia Bell Labs) discusses his extended abstract “Program Synthesis And Non-monotonic Reasoning”.This…
S1E1 Grammar Filtering For Syntax-Guided Synthesis - Mark Santolucito
Leading program synthesis researcher Mark Santolucito (Assistant Professor, Barnard College, Columbia University) discusses his paper "Grammar Filtering for Syntax-Guided Synthesis".This conversation…
S1 Introducing Abstract Synthesis
Welcome to Abstract Synthesis - a podcast where we share the stories behind interesting academic papers in the world of program synthesis.Brought to you by AGI research lab Ndea.Subscribe wherever…
Frequently Asked Questions
Abstract Synthesis has published 12 episodes since December 2025, covering topics in Technology.
Abstract Synthesis is currently declining with new episodes weekly. Average episode length is 53m.
Sign up on Grep.FM to access contact details for Abstract Synthesis, including email and social media links.
