Tag: program-search
All the articles with the tag "program-search".
-
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.