2 papers
cs.NE2025
Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
Matheus Campos Fernandes
Program synthesis is the process of generating a computer program following a set of specifications, such as a set of input-output examples. It can be modeled as a search problem i…
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…