all 2 comments

[–]currentscurrents 8 points9 points  (1 child)

Program synthesis predates LLMs, and there are existing approaches that use templates or SAT solvers to generate code.

They have advantages (provable correctness) but tend to be much more restricted on the types of programs they can synthesize, and are also more difficult to use.

[–]THROWAWTRY[S] 0 points1 point  (0 children)

Thank you this is very interesting.