Example-directed synthesis: a type-theoretic interpretation.

Jonathan Frankle Peter-Michael Osera David Walker Steve Zdancewic

Published in: POPL (2016)

Keyphrases

neural network
high level
cooperative
image interpretation
metadata
natural language
image analysis
special case
semantic interpretation
program synthesis