Image de couverture de livre

Origami: (un)folding the abstraction of recursion schemes for program synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fernandes, Matheus Campos, de Franca, Fabricio Olivetti, Francesquini, Emilio
Format:	Preprint
Publié:	2024
Sujets:	Neural and Evolutionary Computing Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Going Bananas! - Unfolding Program Synthesis with Origami
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Minimum variance threshold for epsilon-lexicase selection
par: Aldeia, Guilherme Seidyo Imai, et autres
Publié: (2024)

An electronic-game framework for evaluating coevolutionary algorithms
par: de Araújo, Karine da Silva Miras, et autres
Publié: (2016)

Functional Program Synthesis with Higher-Order Functions and Recursion Schemes
par: Fernandes, Matheus Campos
Publié: (2025)

Inexact Simplification of Symbolic Regression Expressions with Locality-sensitive Hashing
par: Aldeia, Guilherme Seidyo Imai, et autres
Publié: (2024)

Children's Acquisition of Tail-recursion Sequences: A Review of Locative Recursion and Possessive Recursion as Examples
par: Wang, Xiaoyi, et autres
Publié: (2024)

Guiding Multi-Objective Genetic Programming with Description Length Improves Symbolic Regression Solutions
par: Kronberger, Gabriel, et autres
Publié: (2026)

Amplifying human performance in combinatorial competitive programming
par: Veličković, Petar, et autres
Publié: (2024)

Towards symbolic regression for interpretable clinical decision scores
par: Aldeia, Guilherme Seidyo Imai, et autres
Publié: (2025)

TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming
par: Kalkreuth, Roman, et autres
Publié: (2025)

EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimization
par: Hsin, Wei-Po, et autres
Publié: (2026)

The Inefficiency of Genetic Programming for Symbolic Regression
par: Kronberger, Gabriel, et autres
Publié: (2024)

Call for Action: towards the next generation of symbolic regression benchmark
par: Aldeia, Guilherme S. Imai, et autres
Publié: (2025)

Spiking Convolutional Neural Networks for Text Classification
par: Lv, Changze, et autres
Publié: (2024)

A survey on learning models of spiking neural membrane systems and spiking neural networks
par: Paul, Prithwineel, et autres
Publié: (2024)

Bio-Inspired Mamba: Temporal Locality and Bioplausible Learning in Selective State Space Models
par: Qin, Jiahao
Publié: (2024)

Projection-Free Evolution Strategies for Continuous Prompt Search
par: Cai, Yu, et autres
Publié: (2026)

What Makes an LLM a Good Optimizer? A Trajectory Analysis of LLM-Guided Evolutionary Search
par: Zhang, Xinhao, et autres
Publié: (2026)

A Comprehensive Empirical Evaluation of Existing Word Embedding Approaches
par: Zaland, Obaidullah, et autres
Publié: (2023)

Generalization and Completeness of Stochastic Local Search Algorithms
par: Loscos, Daniel, et autres
Publié: (2026)

Personalized Language Models via Privacy-Preserving Evolutionary Model Merging
par: Kim, Kyuyoung, et autres
Publié: (2025)

Simulated Language Acquisition in a Biologically Realistic Model of the Brain
par: Mitropolsky, Daniel, et autres
Publié: (2025)

Towards Faster k-Nearest-Neighbor Machine Translation
par: Shi, Xiangyu, et autres
Publié: (2023)

VietNormalizer: An Open-Source, Dependency-Free Python Library for Vietnamese Text Normalization in TTS and NLP Applications
par: Nguyen, Hung Vu, et autres
Publié: (2026)

Hierarchical Frequency Tagging Probe (HFTP): A Unified Approach to Investigate Syntactic Structure Representations in Large Language Models and the Human Brain
par: An, Jingmin, et autres
Publié: (2025)

SENMAP: Multi-objective data-flow mapping and synthesis for hybrid scalable neuromorphic systems
par: Nembhani, Prithvish V, et autres
Publié: (2025)

Interpreting and learning voice commands with a Large Language Model for a robot system
par: Stankevich, Stanislau, et autres
Publié: (2024)

Evolutionary Automata and Deep Evolutionary Computation
par: Eberbach, Eugene
Publié: (2024)

Automatic programming via large language models with population self-evolution for dynamic job shop scheduling problem
par: Huang, Jin, et autres
Publié: (2024)

A Non-Dominated Sorting Evolutionary Algorithm Updating When Required
par: Farias, Lucas R. C., et autres
Publié: (2025)

An Analysis of the Preferences of Distribution Indicators in Evolutionary Multi-Objective Optimization
par: Falcón-Cardona, Jesús Guillermo, et autres
Publié: (2024)

Gradient-based inference of abstract task representations for generalization in neural networks
par: Hummos, Ali, et autres
Publié: (2024)

Improving genetic algorithms performance via deterministic population shrinkage
par: Laredo, Juan Luis Jiménez, et autres
Publié: (2024)

From Pixels to Titles: Video Game Identification by Screenshots using Convolutional Neural Networks
par: Breve, Fabricio
Publié: (2023)

Multi-objective evolutionary GAN for tabular data synthesis
par: Ran, Nian, et autres
Publié: (2024)

General-purpose Dataflow Model with Neuromorphic Primitives
par: Zhang, Weihao, et autres
Publié: (2024)

A Neural Rewriting System to Solve Algorithmic Problems
par: Petruzzellis, Flavio, et autres
Publié: (2024)

Pruner-Zero: Evolving Symbolic Pruning Metric from scratch for Large Language Models
par: Dong, Peijie, et autres
Publié: (2024)

SpikeLM: Towards General Spike-Driven Language Modeling via Elastic Bi-Spiking Mechanisms
par: Xing, Xingrun, et autres
Publié: (2024)

Hysteresis Activation Function for Efficient Inference
par: Kimhi, Moshe, et autres
Publié: (2024)