Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning

• Main Authors: Yuhong Wang, Xin Li
• Format: Article
• Language: English
• Published: IEEE 2021-01-01
• Series: IEEE Access
• Subjects: Programming by examples; functional programs; miniKanren; relational programming; deep learning; deductive search
• Online Access: https://ieeexplore.ieee.org/document/9427519/

Synthesizing intended programs from user-specified input-output examples, also known as Programming by Examples (PBE), is a challenging problem in program synthesis, and has been applied to a wide range of domains. A key challenge in PBE is to efficiently discover a user-intended program in the search space that can be exponentially large. In this work, we propose a method for automatic synthesis of functional programs on list manipulation, by using offline-trained Recurrent Neural Network (RNN) models to guide the program search. We adopt miniKanren, an embedded domain-specific language for flexible relational programming, as an underlying top-down deductive search engine of candidate programs that are consistent with input-output examples. Our approach targets an easy and effective integration of deep learning techniques in making better PBE systems and combines two technical ideas on generating diverse training dataset and designing rich feature embeddings of probable subproblems for synthesis generated by deductive search. The offline-learned model is then used in PBE to guide the top-down deductive search with specific strategies. To practically manipulate data structures of lists, our method synthesizes functional programs with popular higher-order combinators including <inline-formula> <tex-math notation="LaTeX">$\texttt {map}$ </tex-math></inline-formula>, <inline-formula> <tex-math notation="LaTeX">$\texttt {foldl}$ </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">$\texttt {foldr}$ </tex-math></inline-formula>. We have implemented our method and evaluated it with challenging program synthesis tasks on list manipulation. The experiments show promising results on the performance of our method compared to related state-of-the-art inductive synthesizers.