Tag: program-search
All the articles with the tag "program-search".
-
Genetic programming, deconstructed: four of five assumptions are 1990s artifacts
Classical GP bundles five independent design choices behind one biology metaphor. Four of them are compute-era assumptions that don't survive contact with frontier LLMs. What's left is a different algorithm.
-
Verifier-native search: the 2026 shape
LLM generation costs roughly 1000× more than verification. The serious program-search systems already exploit this. The agent-scaffold mainstream doesn't — and nobody yet compounds search traces into a domain-specific mutator.