A Curry-Howard Approach to Church's Synthesis.

Pierre Pradic Colin Riba

Published in: CoRR (2018)

Keyphrases

program synthesis
machine learning
texture synthesis
data sets
social networks
high quality
expert systems
analog circuits