arXiv Artificial Intelligence· Roberto I. Ono Filho·2026-10-23 12:00· 3 小时前AI 评分34

办公规模验证搜索中的算子包、提议器强度与构造族平台期

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

AI 导读

一项 FunSearch 式验证搜索研究在笔记本上用 30B 本地模型、每次 120-600 个验证样本，对九个构造问题做完整 2^3 因子实验，算子组合将种子到记录的差距缩小 +0.196（名义合并 p=0.023）。