Operator Packages, Proposer Strength, and Construction-Family Plateaus in Office-Scale Verified Search.

arXiv:2609.29636v2 Announce Type: replace-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-si