TY  - RPRT
TI  - Toward Trustworthy Neural Program Synthesis
AU  - Darren Key
AU  - Wen-Ding Li
AU  - Kevin Ellis
PY  - 2023
UR  - https://arxiv.org/abs/2210.00848
ID  - 2210.00848
ER  -