Login / Signup

I Speak, You Verify: Toward Trustworthy Neural Program Synthesis.

Darren KeyWen-Ding LiKevin 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