1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024
Going Bananas! - Unfolding Program Synthesis with Origami
Matheus Campos Fernandes, Fabrício Olivetti de França, Emilio Francesquini
Automatically creating a computer program using input-output examples can be a challenging task, especially when trying to synthesize computer programs that require loops or recurs…
cs.NE2024★ 1 cited
Origami: (un)folding the abstraction of recursion schemes for program synthesis
Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini
Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples. One particular…