Zobrazeno 1 - 10
of 1 659
pro vyhledávání: '"Hocquette, A"'
Autor:
Hocquette, Céline, Cropper, Andrew
We introduce a novel approach to program synthesis that decomposes complex functional tasks into simpler relational synthesis sub-tasks. We demonstrate the effectiveness of our approach using an off-the-shelf inductive logic programming (ILP) system
Externí odkaz:
http://arxiv.org/abs/2408.12212
The goal of inductive program synthesis is for a machine to automatically generate a program from user-supplied examples of the desired behaviour of the program. A key underlying assumption is that humans can provide examples of sufficient quality to
Externí odkaz:
http://arxiv.org/abs/2404.19397
Autor:
Cropper, Andrew, Hocquette, Céline
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 identifies minimal unsatisfiable subprograms (MUSPs). We show that finding M
Externí odkaz:
http://arxiv.org/abs/2401.16383
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 implement our approach in a constraint-driven system and use constraint solve
Externí odkaz:
http://arxiv.org/abs/2401.16215
Many inductive logic programming approaches struggle to learn programs from noisy data. To overcome this limitation, we introduce an approach that learns minimal description length programs from noisy data, including recursive programs. Our experimen
Externí odkaz:
http://arxiv.org/abs/2308.09393
We introduce the higher-order refactoring problem, where the goal is to compress a logic program by discovering higher-order abstractions, such as map, filter, and fold. We implement our approach in Stevie, which formulates the refactoring problem as
Externí odkaz:
http://arxiv.org/abs/2308.08334
Autor:
Miglior, F., author, Pinotti, L., author, Boyle, L., author, Kenny, D., author, Lee, M., author, De Marchi, M., author, Cadavez, V.A.P., author, Millet, S., author, Evans, R., author, Veldkamp, T., author, Pastell, M., author, Pollott, G., author, Spoolder, H., author, Liu, J., author, Almeida, J.M., author, Rampado, N., author, Panea, B., author, Hocquette, É., author, Ellies-Oury, M.P., author, Chriki, S., author, Hocquette, J.F., author
Publikováno v:
Book of Abstracts of the 73rd Annual Meeting of the European Federation of Animal Science. :617-617
Autor:
Hocquette, Céline, Cropper, Andrew
Program synthesis approaches struggle to learn programs with numerical values. An especially difficult problem is learning continuous values over multiple examples, such as intervals. To overcome this limitation, we introduce an inductive logic progr
Externí odkaz:
http://arxiv.org/abs/2210.00764
Autor:
Hocquette, Céline, Cropper, Andrew
A magic value in a program is a constant symbol that is essential for the execution of the program but has no clear explanation for its choice. Learning programs with magic values is difficult for existing program synthesis approaches. To overcome th
Externí odkaz:
http://arxiv.org/abs/2208.03238
Autor:
Cropper, Andrew, Hocquette, Céline
The goal of inductive logic programming is to induce a logic program (a set of logical rules) that generalises training examples. Inducing programs with many rules and literals is a major challenge. To tackle this challenge, we introduce an approach
Externí odkaz:
http://arxiv.org/abs/2206.01614