technology
Hosted by Ndea · technology · EN
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.
Required Pod Score for this podcast. PitchCentric checks your profile against host openness, topical fit, and audience signals before you generate a pitch.
Contact path
Verified email
Booking probability
29%
Guest openness
Selective
Sign up to generate a grounded pitch for Abstract Synthesis.
Signup to Generate a PitchGo 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.
Abstract Synthesis is hosted by Ndea. The show has published 16 episodes to date.
Recent episodes include "Why Creativity Cannot Be Interpolated - MLST" (22 July 2026, 63 minutes), "Constrained Adaptive Rejection Sampling - Loris D’Antoni" (1 July 2026, 50 minutes), and "Inventing Inductive Logic Programming - Stephen Muggleton" (18 June 2026, 57 minutes).
Abstract Synthesis publishes roughly every two weeks, with episodes averaging 48 minutes across 16 episodes.
Booking probability for Abstract Synthesis is 29%, and the host is rated Selective on guests. Abstract Synthesis requires a Pod Score of 80 or higher. Abstract Synthesis's contact route on record: verified email.
The strongest fits for Abstract Synthesis are Scientific Research & Development and IT Services & Software Development. Abstract Synthesis has a technology audience.
Ndea hosts Abstract Synthesis, a technology podcast with 16 episodes published.
Our AI reads these to draft pitches. Use them as grounding for a pitch that cites a real guest and a specific topic.
Episode #15
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...
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...
<p>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...
<p>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...
<p>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...
Episode #9
<p>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...
<p>The way a problem is represented can determine whether it is solvable at all.</p><p><br></p><p>Céline Hocquette, AI researcher at Ndea and former postdoctoral researcher at the University of Oxford, discusses her...
Episode #7
<p>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...
Episode #6
<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...
<p>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...
<p>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”.</p><p><br></p><p>This...
Episode #3
<p>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...
<p>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...
<p>Leading program synthesis researcher Mark Santolucito (Assistant Professor, Barnard College, Columbia University) discusses his paper "Grammar Filtering for Syntax-Guided Synthesis".</p><p><br></p><p>This...
Abstract Synthesis
<p>Welcome to Abstract Synthesis - a podcast where we share the stories behind interesting academic papers in the world of program synthesis.</p><p>Brought to you by AGI research lab Ndea.</p><p>Subscribe wherever you...
Recent guests on Abstract Synthesis. Study who booked and why before you pitch.
Dr., Machine Learning Street Talk
writer, communications consultant, and podcast host, Down Street Housing & Community Development
Karen Ostrum George Distinguished Service Professor in Computational Engineering, Rice University
Imperial College London
PitchCentric classifies Abstract Synthesis under these industries. Guests from them are the closest fit, and each links to the best podcasts in that industry.
Shows with the most semantically similar episode content. Pitch one, pitch all; producers cluster.
Guides and articles for guests pitching shows like this one.
Is this podcast yours and you'd like to remove or correct details? Request removal or email privacy@pitchcentric.com.
Questions about the free trial? See the pricing FAQ
