Cover Image

Functional Program Synthesis with Higher-Order Functions and Recursion Schemes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Fernandes, Matheus Campos
Format:	Preprint
Published:	2025
Subjects:	Neural and Evolutionary Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Function Class Learning with Genetic Programming: Towards Explainable Meta Learning for Tumor Growth Functionals
by: Sijben, E. M. C., et al.
Published: (2024)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
by: Fernandes, Matheus Campos, et al.
Published: (2024)

Form Follows Function: Recursive Stem Model
by: Hakimi, Navid
Published: (2026)

GP and LLMs for Program Synthesis: No Clear Winners
by: Hernandez, Jose Guadalupe, et al.
Published: (2025)

Effective Adaptive Mutation Rates for Program Synthesis
by: Ni, Andrew, et al.
Published: (2024)

Higher-Order Neuromorphic Ising Machines -- Autoencoders and Fowler-Nordheim Annealers are all you need for Scalability
by: Ahsan, Faiek, et al.
Published: (2025)

Functional Connectivity Graph Neural Networks
by: Li, Yang, et al.
Published: (2025)

Robustness and Invariance of Hybrid Metaheuristics under Objective Function Transformations
by: Sroka, Grzegorz, et al.
Published: (2025)

The More the Merrier: On Evolving Five-valued Spectra Boolean Functions
by: Carlet, Claude, et al.
Published: (2024)

Evolving Benchmark Functions to Compare Evolutionary Algorithms via Genetic Programming
by: He, Yifan, et al.
Published: (2024)

Children's Acquisition of Tail-recursion Sequences: A Review of Locative Recursion and Possessive Recursion as Examples
by: Wang, Xiaoyi, et al.
Published: (2024)

On the Problem Characteristics of Multi-objective Pseudo-Boolean Functions in Runtime Analysis
by: Liang, Zimin, et al.
Published: (2025)

CMA-ES with Radial Basis Function Surrogate for Black-Box Optimization
by: Khouzani, Farshid Farhadi, et al.
Published: (2025)

Exploration of Pareto-preserving Search Space Transformations in Multi-objective Test Functions
by: Vermetten, Diederick, et al.
Published: (2026)

Tight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear Functions
by: Doerr, Carola, et al.
Published: (2023)

[RETRACTED]Evolving Form and Function: Dual-Objective Optimization in Neural Symbolic Regression Networks
by: Bertschinger, Amanda, et al.
Published: (2025)

Artificial Cardiac Conduction System: Simulating Heart Function for Advanced Computational Problem Solving
by: Omer, Rebaz Mohammed Dler, et al.
Published: (2024)

Accelerating Black-Box Bilevel Optimization with Rank-Based Upper-Level Value Function Approximation
by: Ong, Marc, et al.
Published: (2026)

Sliding Window Bi-Objective Evolutionary Algorithms for Optimizing Chance-Constrained Monotone Submodular Functions
by: Yan, Xiankun, et al.
Published: (2024)

Analyzing the Runtime of the Gene-pool Optimal Mixing Evolutionary Algorithm (GOMEA) on the Concatenated Trap Function
by: Qiao, Yukai, et al.
Published: (2024)

Mutation Strength Adaptation of the $(μ/μ_I, λ)$-ES for Large Population Sizes on the Sphere Function
by: Omeradzic, Amir, et al.
Published: (2024)

Runtime Analysis of a Compact Genetic Algorithm on a Truly Multi-valued OneMax Function
by: Krejca, Martin S., et al.
Published: (2026)

Biologically Inspired Oscillating Activation Functions Can Bridge the Performance Gap between Biological and Artificial Neurons
by: Noel, Matthew Mithra, et al.
Published: (2021)

An Attempt to Devise a Pairwise Ising-Type Maximum Entropy Model Integrated Cost Function for Optimizing SNN Deployment
by: Huang, Wanhong
Published: (2024)

Canonical Functionalism: Defining Functional Structure without Observer-Relative Semantic Maps
by: Kanai, Ryota, et al.
Published: (2026)

The Deep Learning model of Higher-Lower-Order Cognition, Memory, and Affection- More General Than KAN
by: Tao, Jun-Bo, et al.
Published: (2022)

On the Dynamics of Mating Preferences in Genetic Programming
by: Simões, José Maria, et al.
Published: (2025)

A Survey of Recursive and Recurrent Neural Networks
by: Liu, Jian-wei, et al.
Published: (2025)

On The Nature Of The Phenotype In Tree Genetic Programming
by: Banzhaf, Wolfgang, et al.
Published: (2024)

A Non-Dominated Sorting Evolutionary Algorithm Updating When Required
by: Farias, Lucas R. C., et al.
Published: (2025)

Memory Enhanced Fractional-Order Dung Beetle Optimization for Photovoltaic Parameter Identification
by: Li, Yiwei, et al.
Published: (2025)

Transformer Semantic Genetic Programming for Symbolic Regression
by: Anthes, Philipp, et al.
Published: (2025)

Quality Diversity Genetic Programming for Learning Scheduling Heuristics
by: Xu, Meng, et al.
Published: (2025)

Evolving Financial Trading Strategies with Vectorial Genetic Programming
by: Menoita, Rui, et al.
Published: (2025)

Untangling the Effects of Down-Sampling and Selection in Genetic Programming
by: Boldi, Ryan, et al.
Published: (2023)

Analysing the Influence of Reorder Strategies for Cartesian Genetic Programming
by: Cui, Henning, et al.
Published: (2024)

Genetic Programming Theory and Practice: A Fifteen-Year Trajectory
by: Sipper, Moshe, et al.
Published: (2024)

GPU-Accelerated Genetic Programming for Symbolic Regression with Beagle Framework
by: Haut, Nathan, et al.
Published: (2026)

Explaining Genetic Programming Trees using Large Language Models
by: Maddigan, Paula, et al.
Published: (2024)

Conceptual and Design Principles for a Self-Referential Algorithm Mimicking Neuronal Assembly Functions
by: Totaro, Paolo, et al.
Published: (2025)