TY  - RPRT
TI  - Optimal Neural Program Synthesis from Multimodal Specifications
AU  - Xi Ye
AU  - Qiaochu Chen
AU  - Isil Dillig
AU  - Greg Durrett
PY  - 2021
UR  - https://arxiv.org/abs/2010.01678
ID  - 2010.01678
ER  -