I am a researcher at Ndea working on program synthesis and automated reasoning. My goal is to design approaches that can learn, reason, and generalise from few examples.
You can contact me on the following address: celinehocquette@gmail.com.
Academic Employment
-
Postdoc, 2021-2024
University of Oxford -
Ph.D., 2017-2021
Imperial College London -
20/07/26: Our paper An empirical comparison of cost functions in inductive logic programming, with Andrew Cropper, has been accepted at JAIR.
-
08/11/25: Our paper Can humans teach machines to code?, with Johannes Langer, Andrew Cropper, and Ute Schmid, has been accepted at AAAI!
-
29/04/25: Our paper Relational decomposition for program synthesis, with Andrew Cropper, has been accepted at IJCAI!
-
11/03/25: Our paper An empirical comparison of cost functions in inductive logic programming, with Andrew Cropper, is available on arXiv.
-
28/10/24: I presented our poster Learning from raw data with low-level symbols alone, with Andrew Cropper, at the Beyond the symbols vs signals debate of the Royal Society, London.
-
22/10/24: I presented our paper Learning logic programs by finding minimal unsatisfiable subprograms at ECAI.
-
07/08/24: I presented our papers Learning big logical rules by joining small rules and Learning logic programs by discovering higher-order abstractions at IJCAI.
- 04/07/24: Our paper Learning logic programs by finding minimal unsatisfiable subprograms, with Andrew Cropper, has been accepted at ECAI.
-
13/06/24: My blog post Learning programs with numerical reasoning has been published at AIhub.org.
-
01/05/2024: Our paper Can humans teach machines to code? with Johannes Langer, Andrew Cropper, and Ute Schmid, is available on arxiv.
16/04/2024: Our papers Learning big logical rules by joining small rules, with Andreas Niskanen, Rolf Morel, Matti Järvisalo, and Andrew Cropper, and Learning logic programs by discovering higher-order abstractions, with Sebastijan Dumančić and Andrew Cropper, have been accepted at IJCAI!