Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning.
Yuhong WangXin LiPublished in: IEEE Access (2021)
Keyphrases
- functional programs
- supervised learning
- term rewriting systems
- lazy evaluation
- logic programs
- stochastic grammar
- machine learning
- training set
- training data
- functional language
- reinforcement learning
- active learning
- semi supervised
- learning algorithm
- data mining
- general purpose
- distributed databases
- functional programming
- database
- data streams
- high level