Abstract Synthesis
By Ndea
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by Ndea
Category: Technology
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 0
Reviews: 0
Episodes: 16
Description
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.
| Episode | Date |
|---|---|
|
Why Creativity Cannot Be Interpolated - MLST
|
Jul 22, 2026 |
|
Constrained Adaptive Rejection Sampling - Loris D’Antoni
|
Jul 01, 2026 |
|
Inventing Inductive Logic Programming - Stephen Muggleton
|
Jun 18, 2026 |
|
Recursive Program Synthesis - Aws Albarghouthi
|
May 27, 2026 |
|
DreamCoder's Wake-Sleep Library Learning - Kevin Ellis
|
Apr 07, 2026 |
|
Semantic Programming by Example with Pre-trained Models - Gust Verbruggen
|
Mar 03, 2026 |
|
February 2026 Podcast Recap
|
Feb 09, 2026 |
|
Relational Decomposition for Program Synthesis - Céline Hocquette
|
Feb 02, 2026 |
|
Symbolic World Models - Top Piriyakulkij
|
Jan 26, 2026 |
|
Vision-Language Programs - Antonia Wüst
|
Jan 19, 2026 |
|
Inductive Logic Programming - Andrew Cropper
|
Jan 12, 2026 |
|
Symbolic Linear Temporal Logic over Finite Traces Synthesis - Moshe Vardi
|
Jan 05, 2026 |
|
Live @ NeurIPS 2025
|
Dec 29, 2025 |
|
Program Synthesis and Non-Monotonic Reasoning - Kedar Namjoshi
|
Dec 22, 2025 |
|
Grammar Filtering For Syntax-Guided Synthesis - Mark Santolucito
|
Dec 16, 2025 |
|
Introducing Abstract Synthesis
|
Dec 15, 2025 |