We present a self-learning approach for synthesizing programs from integer sequences. Our method relies on a tree search guided by a learned policy. Our system is tested on the On-Line Encyclopedia of Integer Sequences. There, it discovers, on its own, solutions for 27987 sequences starting from basic operators and without human-written training examples
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
Abstract—The synthesis of exact integer algorithms is a hard task for Genetic Programming (GP), as i...
We present a self-learning approach for synthesizing programs from integer sequences. Our method rel...
Inductive program synthesis, from input/output examples, can provide an opportunity to automatically...
We introduce a self-learning algorithm for synthesizing programs for OEIS sequences. The algorithm s...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
We apply techniques of experimental mathematics to certain problems in number theory and combinatori...
Abstract. Input-output examples are a simple and accessible way of describing program behaviour. Pro...
Knowledge about algorithms, integers and nested patternsA Look and Say sequence is an integer sequen...
Integer Programming: Theory, Applications, and Computations provides information pertinent to the th...
Synthesis from examples enables non-expert users to generate programs by specifying examples of thei...
Number sequence problems appear frequently in IQ tests, where the task is to extrapolate finite sequ...
Number sequence problems appear frequently in IQ tests, where the task is to extrapolate finite sequ...
We present a method for example-guided synthesis of higher-order functional pro- grams. Given a set ...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
Abstract—The synthesis of exact integer algorithms is a hard task for Genetic Programming (GP), as i...
We present a self-learning approach for synthesizing programs from integer sequences. Our method rel...
Inductive program synthesis, from input/output examples, can provide an opportunity to automatically...
We introduce a self-learning algorithm for synthesizing programs for OEIS sequences. The algorithm s...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
We apply techniques of experimental mathematics to certain problems in number theory and combinatori...
Abstract. Input-output examples are a simple and accessible way of describing program behaviour. Pro...
Knowledge about algorithms, integers and nested patternsA Look and Say sequence is an integer sequen...
Integer Programming: Theory, Applications, and Computations provides information pertinent to the th...
Synthesis from examples enables non-expert users to generate programs by specifying examples of thei...
Number sequence problems appear frequently in IQ tests, where the task is to extrapolate finite sequ...
Number sequence problems appear frequently in IQ tests, where the task is to extrapolate finite sequ...
We present a method for example-guided synthesis of higher-order functional pro- grams. Given a set ...
With the advancement of modern technologies, programming becomes ubiquitous not only among professio...
Program synthesis is a term that describes a family of techniques that enables automatic generation ...
Abstract—The synthesis of exact integer algorithms is a hard task for Genetic Programming (GP), as i...