Loading…
Hosted by Ndea · 🇺🇸 US · EN · 15 episodes
Established thought leaders with verified media credentials.
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.
Ndea hosts Abstract Synthesis, a technology show with 15 episodes published.
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 requi
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
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 wi
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
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 iter
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 progr
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
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 Decomp
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, p
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 combining vision-langua
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 ru
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 Li
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
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 s
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 machin
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
Detected from recent episode content. Sponsor presence is a real signal of listener purchasing power and show monetisation.
No public pitch examples yet for this show.
Generate your own personalised pitchBased on semantic analysis of episode topics and host coverage, this show is a strong guest fit for executives in:
Industry fit is computed by PitchCentric using vector embeddings of the show's episode catalog.
Shows with the most semantically similar episode content. Pitch one, pitch all; producers cluster.
Abstract Synthesis has a verified contact on file. Create a free PitchCentric account to access it and generate a personalised pitch in seconds. Research at least 3 recent episodes first and lead with a specific angle that serves their technology audience.
Abstract Synthesis is hosted by Ndea. The show is categorised under technology and has published 15 episodes.
Abstract Synthesis has published 15 episodes.
Abstract Synthesis regularly covers technology. It sits in the technology category.
Abstract Synthesis is accessible for guests with genuine technology expertise. A personalised, episode-aware pitch will still outperform a generic one every time.
Abstract Synthesis hasn't explicitly signalled guest openness in recent episodes. That doesn't rule out pitching. your hook just needs to be especially compelling and relevant to their recent content.
Episodes of Abstract Synthesis average 48 minutes. a focused format where a clear narrative arc and tight preparation matter most.
Our data rates Abstract Synthesis's guest bar at 80/100 (Premium tier). Established thought leaders with verified media credentials. Sign in to PitchCentric to see how your own Pod Score compares against this show.
Methodology. Booking Probability™ blends Listen Score, 30-day Virality, open-to-guests detection, and Apple ratings. Data refreshed every 60 minutes. Listen Score and Booking Probability are calculated by PitchCentric. Last enriched 2 days ago.