Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning Wang, Yuhong ; Li, Xin Abstract Publication: IEEE Access Pub Date: 2021 DOI: 10.1109/ACCESS.2021.3079351 Bibcode: 2021IEEEA...971521W