Incidentally there is a workshop this Sunday at ICML about program synthesis https://uclmr.github.io/nampi/