February 2026 Podcast Recap

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 recap of the podcast so far. Across the past 8 conversations - spanning grammar filtering, temporal synthesis, inductive logic programming, vision-language programs, and symbolic world models - we explore 3 emergent themes.


1. Shrinking the search space, without breaking correctness

2. Why "correct" programs still behave badly

3. The real meaning of "neurosymbolic"


At a high level, all of the solutions we've explored are grappling with the problem of search - from problem representation to the optimal divide between neural and symbolic.


Credits -


• Host, Editor, Music: Bryan Landers, Technical Staff, Ndea

• https://x.com/ndea

• https://x.com/bryanlanders

• https://ndea.com

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(16)

Why Creativity Cannot Be Interpolated - MLST

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 genu...

22 Juli 1h 3min

Constrained Adaptive Rejection Sampling - Loris D’Antoni

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 pre...

1 Juli 49min

Inventing Inductive Logic Programming - Stephen Muggleton

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 ...

18 Juni 57min

Recursive Program Synthesis - Aws Albarghouthi

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 alg...

27 Maj 55min

DreamCoder's Wake-Sleep Library Learning - Kevin Ellis

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 stra...

7 Apr 47min

Semantic Programming by Example with Pre-trained Models - Gust Verbruggen

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 integra...

3 Mars 1h 15min

Relational Decomposition for Program Synthesis - Céline Hocquette

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...

2 Feb 47min

Populärt inom Teknik

uppgang-och-fall
market-makers
rss-laddstationen-med-elbilen-i-sverige
skogsforum-podcast
elbilsveckan
 och-bilen-gar-bra
bli-saker-podden
rss-uppgang-och-fall
natets-morka-sida
rss-veckans-ai
rss-en-ai-till-kaffet
developers-mer-an-bara-kod
hej-bruksbil
rss-technokratin
rss-milpodden
solcellskollens-podcast
rss-it-sakerhetspodden
algoritmen
ai-sweden-podcast
rss-fabriken-2