5 citations · 7 across the 13 of their papers we have counts for
4 papers · 1 filter
Relational decomposition for program synthesis
Céline Hocquette, Andrew Cropper
We introduce a relational approach to program synthesis. The key idea is to decompose synthesis tasks into simpler relational synthesis subtasks. Specifically, our representation d…
Can humans teach machines to code?
Céline Hocquette, Johannes Langer, Andrew Cropper +1
The goal of inductive program synthesis is for a machine to automatically generate a program from user-supplied examples. A key underlying assumption is that humans can provide suf…
Learning logic programs by finding minimal unsatisfiable subprograms
Andrew Cropper, Céline Hocquette
The goal of inductive logic programming (ILP) is to search for a logic program that generalises training examples and background knowledge. We introduce an ILP approach that identi…
Learning big logical rules by joining small rules
Céline Hocquette, Andreas Niskanen, Rolf Morel +2
A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We impleme…