- monatlichErscheinungsrhythmus
- 57 mintypische Länge
- 22. Juliletzte Folge
Go beyond the paper abstract to synthesize new ideas. AGI research lab Ndea presents the stories behind remarkable academic papers in the field of program synthesis.
Folgen
Why Creativity Cannot Be Interpolated - MLST
Jeremy Budd, Assistant Professor at the University of Birmingham, and Tim Scarfe, CEO of Machine Learning Street Talk, discuss the paper “Why Creativity Cannot Be Interpolated”, which argues that genuine creativity requires respect for cons
Constrained Adaptive Rejection Sampling - Loris D’Antoni
Loris D’Antoni, Professor of Computer Science and Engineering at UC San Diego, discusses his paper “Constrained Adaptive Rejection Sampling,” which introduces a constrained decoding algorithm that preserves the original language model distr
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 logic programming with machine learning,
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 algorithm for learning recursive programs f
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 strategy through an iterative wake-sleep pro
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 integrating inductive program synthesis with la
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 at all. This week's episode is a short r
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 “Relational Decomposition for Program
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 explores how symbolic, programmatic world mo
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 combining vision-language models with progra
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 (ILP) learns symbolic rules from examples an
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 conversation explores how Linear Temporal Logic
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 episode captures a snapshot of the current res
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 conversation explores why standard logical spe
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 explores how machine learning can be us
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 you get your podcasts to stay tuned for i
