Programmable Program Synthesis.

Loris D'Antoni Qinheping Hu Jinwoo Kim Thomas W. Reps

Published in: CAV (1) (2021)

Keyphrases

program synthesis
low cost
general purpose
recursive programs
inductive logic programming
single chip
processor array
databases
information retrieval
np hard
knowledge representation
semi supervised
object oriented
semi supervised learning
constraint satisfaction