Understand
We introduce a relational approach to program synthesis.
- The key idea is to decompose synthesis tasks into simpler relational synthesis subtasks.
- Specifically, our representation decomposes a training input-output example into sets of input and output facts respectively.
- We then learn relations between the input and output facts.
Built on
Nothing clear enough to list yet.
Similar
Nothing clear enough to list yet.
Then
Nothing clear enough to list yet.
Beyond the bibliography
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…