3 papers
cs.AI2025
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…
cs.LG2025
An Empirical Comparison of Cost Functions in Inductive Logic Programming
Céline Hocquette, Andrew Cropper
Recent inductive logic programming (ILP) approaches learn optimal hypotheses. An optimal hypothesis minimises a given cost function on the training data. There are many cost functi…
cs.HC2025
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…