Operator Packages, Proposer Strength, and Construction-Family Plateaus in Office-Scale Verified Search
arXiv:2609.29636v1 Announce Type: cross Abstract: Verified search, in which a language model proposes programs, a hard evaluator scores them, and selection keeps the best, has recently moved mathematical records; controlled ablations of the proposer-side components remain rare. We instrument a…