C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Program Synthesis Using Dual Interpretation.
Ashish Tiwari
Adrià Gascón
Bruno Dutertre
Published in:
CADE (2015)
Keyphrases
</>
program synthesis
recursive programs
high dimensional
general purpose
inductive logic programming
semantic interpretation
high level
semi supervised
multi task
image interpretation