Search Results for author:
Found 2 papers, 0 papers with code
Origami: (un)folding the abstraction of recursion schemes for program synthesis
Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples.
HOTGP -- Higher-Order Typed Genetic Programming
The synthesis can be modeled as a search problem in which the search space is the set of all the programs valid under a grammar.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
