Inventing Inductive Logic Programming - Stephen Muggleton
Stephen Muggleton, Emeritus Professor at Imperial College London, discusses his paper “Inductive Logic Programming”, which introduced and named the field. The paper presents a framework that combines ...
18 Juni 57min
Recursive Program Synthesis - Aws Albarghouthi
Aws Albarghouthi, Associate Professor of Computer Science at the University of Wisconsin-Madison, discusses his paper “Recursive Program Synthesis”, which introduced Escher, an inductive synthesis alg...
27 Maj 55min
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 stra...
7 Apr 47min
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 integra...
3 Mars 1h 15min
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 ...
9 Feb 6min
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 paper...
2 Feb 47min
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 expl...
26 Jan 57min
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 neurosymbolic approach to visual concept induction by comb...
19 Jan 54min
