Program Synthesis Meets Machine Learning

Ever struggled with writing code? Ever wondered how great it would be if your ideas were automatically converted into programs? Program synthesis is the domain of formal methods that deals with generating programs from a given specification. While complete automation is the ambition of this field, a lot of active research is going on. Combining ML techniques with the problem of synthesizing programs from a given user specification is a recent development in the domain. This project aims to explore the usefulness of machine learning in program synthesis.

— Ravi Raja