Learning programs with magic values

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.

Automated summary

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.