Optimal Neural Program Synthesis from Multimodal Specifications.

Xi Ye Qiaochu Chen Isil Dillig Greg Durrett

Published in: CoRR (2020)

Keyphrases

program synthesis
recursive programs
multi modal
dynamic programming
network architecture
neural network
optimal solution
domain knowledge
general purpose
closed form