Journal
MACHINE LEARNING
Volume 112, Issue 5, Pages 1551-1595Publisher
SPRINGER
DOI: 10.1007/s10994-022-06274-w
Keywords
Inductive logic programming; Programming synthesis; Relational learning; Program induction
Categories
Ask authors/readers for more resources
A magic value in a program is an essential constant symbol without clear explanation. Learning programs with magic values is difficult, so we introduce an inductive logic programming approach to tackle this problem. Our experiments show that our approach outperforms existing methods in terms of accuracy and learning time, can handle magic values from infinite domains, and scale to domains with millions of constant symbols.
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 this limitation, we introduce an inductive logic programming approach to efficiently learn programs with magic values. Our experiments on diverse domains, including program synthesis, drug design, and game playing, show that our approach can (1) outperform existing approaches in terms of predictive accuracies and learning times, (2) learn magic values from infinite domains, such as the value of pi, and (3) scale to domains with millions of constant symbols.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available