The Incumbent Did the Work: What the Simple-Baseline Results in LLM-Guided Program Search Settle, Why the Dispute Over Archives, Diversity and Test-Time Training Is Fought on Benchmarks That Cannot Rank It, and the Comparisons That Would

(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. Life of Research Systems that let a language model write programs, score them with an exact verifier and feed the best ones back have improved published bounds on open mathematical problems, and each new system has added machinery: program archives, islands, novelty filters, model ensembles, and since 2025, weight updates at test time. A run of 2026 papers argues that most of this machinery is unnecessary. The sharpest, Hill Sampling, keeps only the best verified program, samples hundreds of edits of it per round from a frozen open-weight model, and reports a circle-packing score above every published method, an Erdos minimum-overlap bound below AlphaEvolve's, and evolution strategies on the weights losing to plain sampling. In this analysis the author reviews and synthesises published results to show that this literature answers two different questions under one heading. The first, whether carrying the best program forward beats sampling afresh from the start, is close to settled in favour of carrying it forward, and the procedure that wins was already a named baseline in 2024. The second, whether anything beyond that incumbent pays, is not settled. The evidence on each side was gathered under different settings of six variables: the unit and size of the budget, the benchmark's headroom relative to its verifier's tolerance, the information placed in the prompt and seed, the base model, the statistic and number of runs, and how many accepted improvements a record requires. On the most cited benchmark, at least five results now agree to six decimals on a sum of radii of 2.635983, the three reported more finely lie within about 2.5e-7 of one another, and one 2026 record was set partly by enlarging radii inside the verifier's tolerance. Twenty-seven published results are gathered in a single table, a seven-step procedure for crediting a reported gain to a harness component is given, and the paper sets out the comparisons that would reveal what the machinery adds: problems with measured headroom, and budgets reported in several units at once.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-27
DOI
https://doi.org/10.5281/zenodo.23684575
Primary Topic
Evolutionary Algorithms and Applications
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The Incumbent Did the Work: What the Simple-Baseline Results in LLM-Guided Program Search Settle, Why the Dispute Over Archives, Diversity and Test-Time Training Is Fought on Benchmarks That Cannot Rank It, and the Comparisons That Would

Pranay M. Mahendrakar
Zenodo (CERN European Organization for Nuclear Research)
Evolutionary Algorithms and Applications
preprint

The Incumbent Did the Work: What the Simple-Baseline Results in LLM-Guided Program Search Settle, Why the Dispute Over Archives, Diversity and Test-Time Training Is Fought on Benchmarks That Cannot Rank It, and the Comparisons That Would

Pranay M. Mahendrakar
preprint en

Abstract

(c) 2026 Pranay Mahendrakar. Licensed under CC BY 4.0. Life of Research Systems that let a language model write programs, score them with an exact verifier and feed the best ones back have improved published bounds on open mathematical problems, and each new system has added machinery: program archives, islands, novelty filters, model ensembles, and since 2025, weight updates at test time. A run of 2026 papers argues that most of this machinery is unnecessary. The sharpest, Hill Sampling, keeps only the best verified program, samples hundreds of edits of it per round from a frozen open-weight model, and reports a circle-packing score above every published method, an Erdos minimum-overlap bound below AlphaEvolve's, and evolution strategies on the weights losing to plain sampling. In this analysis the author reviews and synthesises published results to show that this literature answers two different questions under one heading. The first, whether carrying the best program forward beats sampling afresh from the start, is close to settled in favour of carrying it forward, and the procedure that wins was already a named baseline in 2024. The second, whether anything beyond that incumbent pays, is not settled. The evidence on each side was gathered under different settings of six variables: the unit and size of the budget, the benchmark's headroom relative to its verifier's tolerance, the information placed in the prompt and seed, the base model, the statistic and number of runs, and how many accepted improvements a record requires. On the most cited benchmark, at least five results now agree to six decimals on a sum of radii of 2.635983, the three reported more finely lie within about 2.5e-7 of one another, and one 2026 record was set partly by enlarging radii inside the verifier's tolerance. Twenty-seven published results are gathered in a single table, a seven-step procedure for crediting a reported gain to a harness component is given, and the paper sets out the comparisons that would reveal what the machinery adds: problems with measured headroom, and budgets reported in several units at once.

Zenodo (CERN European Organization for Nuclear Research)
Evolutionary Algorithms and Applications
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
The Incumbent Did the Work: What the Simple-Baseline Results in LLM-Guided Program Search Settle, Why the Dispute Over Archives, Diversity and Test-Time Training Is Fought on Benchmarks That Cannot Rank It, and the Comparisons That Would — Pranay M. Mahendrakar · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS