Yuhong Wang, Xin Li: Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning. IEEE Access 9: 71521-71534 (2021)