To paraphrase Shakespeare: a rose by another name will stink. 😂

Generally a traditional compiler uses “syntax driven” translation, but a synthesizer need not do so.

Does probabilistic sampling count as “search” ?

What do you mean by “program synthesis” @alphaconvert.bsky.social ?

Yeah that is the way to get you back for a second internship.. 😎

Link?