Template-based Program Synthesis using Stellensätze.

Amir Kafshdar Goharshady S. Hitarth Fatemeh Mohammadi Harshit J. Motwani

Published in: CoRR (2022)

Keyphrases

program synthesis
recursive programs
inductive logic programming
artificial intelligence
database
machine learning
expert systems
data mining
high dimensional
logic programs
logic programming
natural language
knowledge base
domain knowledge
query language
search engine
learning algorithm