Login / Signup
I Speak, You Verify: Toward Trustworthy Neural Program Synthesis.
Darren Key
Wen-Ding Li
Kevin Ellis
Published in:
CoRR (2022)
Keyphrases
</>
program synthesis
network architecture
inductive logic programming
neural network
recursive programs
information retrieval
logic programs
biologically inspired
neural model