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.
Podden och tillhörande omslagsbild på den här sidan tillhör
Ndea. Innehållet i podden är skapat av Ndea och inte av,
eller tillsammans med, Poddtoppen.
