論文の概要: Operator Packages, Proposer Strength, and Construction-Family Plateaus in Office-Scale Verified Search

• arxiv url: http://arxiv.org/abs/2609.29636v1
• Date: Fri, 28 Aug 2026 21:48:30 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-28 05:09:56.088635
• Title: Operator Packages, Proposer Strength, and Construction-Family Plateaus in Office-Scale Verified Search
• Title（参考訳）: オフィス規模検証検索におけるオペレータパッケージ, プロポーラ強度, 建設用高原
• Abstract要約: ミニマルなFunSearchスタイルのループを3つのオペレータパッケージでオフィススケールで実行します。 パブリックリポジトリからの9つの建設上の問題に対して、2つの複製を持つ完全な23因子は、主要なコントラストを好んでいる。 私たちはハーネス、すべての候補者、日付付き事前登録をリリースします。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• 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 minimal FunSearch-style loop at office scale (a 30B local model on a laptop, 120-600 verified samples per run) with three operator packages: a schematic notebook the model writes and carries instead of verbatim elites, a named obstacle, and behavioural repulsion from constructions already found. On nine construction problems from a public repository, the complete 2^3 factorial with two replicates favours the primary contrast in a nominal two-stage analysis: the composition closes more of the seed-to-record gap (+0.196; nominal pooled p=0.023, stage-combination p~0.08; median per-problem effect +0.045). Repulsion raises construction-hash diversity everywhere (p=0.0039; partly a manipulation check). The factorial finds no positive memory-by-repulsion interaction (bounded to about +/-0.04); the gain decomposes additively, and memory+repulsion is the only arm that never collapses (0 of 18 runs), within 0.025 of the full composition. A frontier proposer under the identical loop reaches in tens of samples what the local model does not in hundreds; in single scoping runs its gains arrive without the operators. The search stalls after closing ~92% of the gap on the flagship problem, and the registered family-hint test gives the stall its first reading: named in words, the reference family is adopted and loses; handed as code, it is optimized, but our best finite-grid implementation remains below the plateau reached unaided. The loop transported and optimized the idea it was handed; no unaided run produced it. We release the harness, every candidate, and the dated pre-registrations.
• Abstract（参考訳）: 言語モデルがプログラムを提案し、ハード評価者が評価し、選択が最善である検証された探索は、最近数学的な記録を移動させた。 オフィススケールで最小限のFunSearchスタイルのループ(ラップトップ上の30Bのローカルモデル、1ラン当たり120-600の検証済みサンプル)を3つのオペレータパッケージで実装します。 パブリックリポジトリからの9つの構成問題において、2つの複製を持つ完全な2^3因子は、名目上の2段階解析において第一のコントラストを好んでおり、この組成は種子と記録の間のギャップをもっと閉じる(+0.196; 名目上のプールp=0.023; ステージ結合p~0.08; 中央値のプロブレム効果+0.045)。 反発は至る所で建設ハッシュの多様性を高める(p=0.0039、一部は操作チェック)。 因子は正のメモリ・バイ・リパルス相互作用(約+/-0.04にバウンドされる)を示さず、ゲインは加法的に分解し、メモリ+リパルスは完全な組成の0.025の範囲内で崩壊しない唯一のアーム(18ランのうち0ラン)である。 同一ループ下のフロンティアプロジェクタは、ローカルモデルが数百にない数十のサンプルに到達し、単一のスクーピングにおいて、演算子なしで利得が届く。 フラッグシップ問題におけるギャップの92%を閉じた後、検索は停止し、登録されたファミリーヒントテストは、ストールに最初の読みを与える: 言葉で言えば、参照ファミリーが採用され、敗れ、コードとして渡され、最適化されるが、私たちの最良の有限グリッド実装は、高原の下にある。 ループは転送され、渡されたアイデアを最適化した。 私たちはハーネス、すべての候補者、日付付き事前登録をリリースします。

関連論文リスト

• Efficient Record-and-Replay Arithmetic for Quantum Elliptic-Curve Point Addition [27.475580858942564]
  ECDSAにより開発された可逆secp256k1点楕円回路について検討する。 2つの補完的な構成は、記録と再生のGCD演算を改善する。 9つのルックアップテーブル構成で10,000個の新しい入力に対して3つの回路を比較した。 別々にテストされた修理では、1,419キュービットと1,356万の平均的なトフォリスが使用され、さらに10万回の入力で故障は検出されていない。
  論文  参考訳（メタデータ） (2026-09-24T00:59:32Z)
• Agora: Git as Shared Memory for Collective AutoResearch [54.31992252587096]
  別々のセッションで作業する調査エージェントは、他の人が試したことと、構築可能な結果を知る必要がある。 各コミットは結果、洞察、仮説、検証、報告を記録し、それを以前の作業とリンクする。 約12日間に渡り,13人の言語モデル労働者がアゴラを重み移動問題の解決に利用したことを報告した。
  論文  参考訳（メタデータ） (2026-09-16T04:00:54Z)
• Shortcut Before Circuit: Document Statistics Time In-Context Conflict Resolution [0.0]
  我々は、電流と希薄度が正確に一致した合成言語でトランスフォーマーを訓練する。 私たちはこれらを最小限の因果編集で分離し、真実、トークン数、答え位置を固定しながら1つのキューを反転させます。
  論文  参考訳（メタデータ） (2026-08-25T12:09:19Z)
• Where Cognition Lives: Dissecting Emergent from Computed Function in a Minimal Complete Cognitive Architecture [0.0]
  適応停止, ホメオスタティック制御フィールド, 値モジュールを備えたリカレント推論器を構築する。 停止も出現し、前もって決定できるものよりも価値が高いように見えるが、その外観は計り知れない。 PonderNetスタイルの停止は、隠された状態の停止重み付き混合を返し、強制深度ベースラインは1を返す。
  論文  参考訳（メタデータ） (2026-08-23T10:27:13Z)
• Accurate Ensembles, Fragile Narratives: Multi-Scale Stacking and a Fidelity Audit of LLM-Generated Explanations for Credit Risk [0.0]
  クレジットスコアリングは、決定ロジックをパラメータから読み取ることができないモデルに依存している。 共通する提案は、言語モデルとのギャップを埋める: 特徴属性を計算し、それらを LLM に渡し、合理的に記述させる。 このようなシステムをエンド・ツー・エンドに構築し、約束の後半が成立するかどうかをテストします。
  論文  参考訳（メタデータ） (2026-08-08T13:22:14Z)
• Structure-Aware Semantic Chunking with Title-Chain Prefixes: A 1600-Query Evaluation and the Measurement Trap in Text-Transform Ablations [4.342406076796542]
  3段階のチャンク側のみのセマンティックチャンクパイプラインを提示する。 タイトルチェーンは、生成された要約ではなく、文書のヘッダ階層を再利用する。 パイプラインは完全なセットでMRR@5を0.374から0.463に、答え可能なサブセットで0.828から0.925に改善する。
  論文  参考訳（メタデータ） (2026-08-01T19:01:46Z)
• Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search [50.16356451328644]
  シャノン型エントロピーの不等式を証明することは情報理論の基本的な課題である。 我々は,原子実証のステップを微調整した小規模大規模言語モデルがこのプロセスを自動化することができるか検討する。 GPT-5.5は0ショットプロンプトで1.7%のサンプルを解き、Psitipは33.3%のサンプルを解いた。
  論文  参考訳（メタデータ） (2026-06-04T05:43:12Z)
• Finding Transformer Circuits with Edge Pruning [71.12127707678961]
  自動回路発見の効率的かつスケーラブルなソリューションとしてエッジプルーニングを提案する。 本手法は,従来の手法に比べてエッジ数の半分未満のGPT-2の回路を探索する。 その効率のおかげで、Edge PruningをCodeLlama-13Bにスケールしました。
  論文  参考訳（メタデータ） (2024-06-24T16:40:54Z)
• Analyzing and Mitigating Interference in Neural Architecture Search [96.60805562853153]
  本研究では、異なる子モデルをサンプリングし、共有演算子の勾配類似度を計算することで干渉問題を解明する。 これら2つの観測から着想を得て、干渉を緩和するための2つのアプローチを提案する。 検索したアーキテクチャは、RoBERTa$_rmbase$が1.1、0.6、ELECTRA$_rmbase$が1.6、テストセットであるGLUEベンチマークで1.1より優れています。
  論文  参考訳（メタデータ） (2021-08-29T11:07:46Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。