Neural-guided inductive synthesis of functional programs on list manipulation by offline supervised learning

Y Wang, X Li - IEEE Access, 2021 - ieeexplore.ieee.org
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 …

[引用][C] Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning

Y Wang, X Li - IEEE Access, 2021 - ui.adsabs.harvard.edu
Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline
Supervised Learning - NASA/ADS Now on home page ads icon ads Enable full ADS view …

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

Y WANG, XIN LI - scholar.archive.org
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 …