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...
12 Jan 1h 4min
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 conversat...
5 Jan 1h 16min
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...
29 Dec 202539min
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 convers...
22 Dec 202543min
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 ...
16 Dec 202526min
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...
15 Dec 202539s
