Program Synthesis with Equivalence Reduction.

Calvin Smith Aws Albarghouthi

Published in: VMCAI (2019)

Keyphrases

program synthesis
inductive logic programming
recursive programs
general purpose
machine learning
information retrieval
support vector