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