Always happy to see a comment from YeGoblynQueenne on a program synthesis post. I’m optimistic about the prospects of some combination of logic solvers and dee

Always happy to see a comment from YeGoblynQueenne on a program synthesis post. I’m optimistic about the prospects of some combination of logic solvers and deep learning. As you mention, natural language specs are only approachable with a language model. I think logical constraints could function as really powerful regularization on the output of neural network code gen. Like, constraining output to only programs that satisfy logical constraints inferred from the language. Also, some forms of programming are super non-trivial to describe and are much more easily specified with input output pairs. This is where the more traditional synthesis approaches really shine. Excel flashfill works astoundingly well for this.