Inductive Program Synthesis Guided by Observational Program Similarity.
John K. FeserIsil DilligArmando Solar-LezamaPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- program synthesis
- recursive programs
- inductive logic programming
- similarity measure
- logic programs
- machine learning
- functional programs
- inductive learning
- semantic similarity
- background knowledge
- euclidean distance
- relational learning
- similarity function
- distance measure
- data model
- transformation rules
- web pages
- search engine
- data mining