[petermcneeley]

Here is a survey: https://alexpolozov.com/blog/program-synthesis-2018/