Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization.

Shivam Handa Martin Rinard

Published in: CoRR (2021)

Keyphrases

program synthesis
recursive programs
inductive logic programming
background knowledge
machine learning
logic programs
optimization algorithm
benchmark datasets
artificial intelligence
optimization problems
optimization process
data mining
domain knowledge