paper-with-me

Papers

Effective Adaptive Mutation Rates for Program Synthesis

2024-06-23 · Andrew Ni, Lee Spector

The problem-solving performance of many evolutionary algorithms, including genetic programming systems used for program synthesis, depends on the values of hyperparameters including mutation rates. The mutation method used to produce some of the best results to date on software synthesis benchmark problems, Uniform Mutation by Addition and Deletion (UMAD), adds new genes into a genome at a predetermined rate and then deletes genes at a rate that balances the addition rate, producing no size change on average. While UMAD with a predetermined addition rate outperforms many other mutation and crossover schemes, we do not expect a single rate to be optimal across all problems or all generations within one run of an evolutionary system. However, many current adaptive mutation schemes such as self-adaptive mutation rates suffer from pathologies like the vanishing mutation rate problem, in which the mutation rate quickly decays to zero. We propose an adaptive bandit-based scheme that addresses this problem and essentially removes the need to specify a mutation rate. Although the proposed scheme itself introduces hyperparameters, we either set these to good values or ensemble them in a reasonable range. Results on software synthesis and symbolic regression problems validate the effectiveness of our approach.

📄 PDF Abstract BibTeX arXiv:2406.15976

Code (0)

등록된 구현이 없습니다.

Tasks

Evolutionary AlgorithmsProgram SynthesisSymbolic Regression

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

Knowledge-Driven Program Synthesis via Adaptive Replacement Mutation and Auto-constructed Subprogram Archives

2022-09-08 · Yifan He, Claus Aranha, Tetsuya Sakurai

We introduce Knowledge-Driven Program Synthesis (KDPS) as a variant of the program synthesis task that requires the agent to solve a sequence of program synthesis problems. In KDPS, the agent should use knowledge from th…

Program Synthesis

Adaptive Grey-Box Fuzz-Testing with Thompson Sampling

2018-08-24 · Siddharth Karamcheti, Gideon Mann, David Rosenberg

Fuzz testing, or "fuzzing," refers to a widely deployed class of techniques for testing programs by generating a set of inputs for the express purpose of finding bugs and identifying security flaws. Grey-box fuzzing, the…

Thompson Sampling

AlgoEvolve: LLM-driven Meta-evolution of Algorithmic Trading Programs

2026-06-24 · Dhruv Sharma, Gautam Shroff arxiv

Recent work shows that Large Language Models (LLMs) can act as semantic mutation operators for the evolutionary discovery of programs and proofs. Most current applications focus on static coding benchmarks. We extend thi…

Program Synthesis

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

2021-01-29 · Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

This paper presents a novel method for the automated synthesis of probabilistic programs. The starting point is a program sketch representing a finite family of finite-state Markov chains with related but distinct topolo…

HiFuzz: Hierarchical Reinforcement Learning for Semantic-Aware and Adaptive CPU Fuzzing

2026-07-07 · Ya Wang, Hanwei Fan, Zhenguo Liu, Xiaofeng Zhou 외 arxiv

Modern processor verification struggles to reach deep architectural states due to the inefficiencies of traditional mutation-based fuzzing. We propose HiFuzz, a novel hierarchical reinforcement learning framework that re…

Hierarchical Reinforcement Learning