ALE-Agent
Domain-guided tabu best-first search with 30 sibling branches and three-turn solution refinement.
ALE-Agent is the algorithm-engineering scaffold introduced with ALE-Bench. It treats every scored program as a search state, expands the most promising unexpanded state, and generates 30 independent refinement branches from it. Each branch gets three implementation turns with fresh evaluator feedback; only the strongest version from those turns returns to the best-first frontier. Expanded parents are tabu and are never selected for expansion again.
The first turn in each branch separates planning from implementation. It samples one of the four domain prompts published in the paper supplement—complexity/speed, simulated-annealing state, simulated-annealing neighborhood, or beam search—asks for a strategy, then asks the model to implement it. Later turns receive the current code, its evaluation feedback, the historically best code and feedback, and the branch strategy.
This is a paper-specification port. The public ALE-Bench repository contains the benchmark and generic self-refinement harness, but not the experimental ALE-Agent source. The implementation here follows the main paper and supplement rather than claiming source-level parity with unreleased code.
Galapagos tasks require an initial genome, so the selected task's bundled baseline is the root state; the paper instead describes a conceptual root whose first children are generated from the problem statement alone. For deterministic sequential execution, the historically best state is frozen when a 30-sibling cohort starts, preventing an earlier scheduled sibling from leaking into a later one's prompt as though the originally concurrent requests had observed each other.
The six components this scaffold snaps together. Each block names its concrete implementation.
The set of candidate solutions in play — the gene pool the search evolves over.
Decides which genomes survive and reproduce — tournament, elitism, novelty, or your own policy.
Assembles the context handed to the model — parents, feedback, instructions, examples.
The LLM-driven variation operator — proposes new candidates by mutation and crossover.
Scores each candidate against the task — the fitness signal that drives selection.
Persists discoveries across generations — archives, islands, and lineage for the search.
ALE-Bench: A Benchmark for Long-Horizon Objective-Driven Algorithm Engineering (NeurIPS 2025)
galapagos run --scaffold ale_agent --task circle_packing \
--proposer.model_name openai/gpt-4o-mini \
--proposer.api_base openrouter