論文の概要: A property-registry contract for retrieve-or-refuse thermal-mechanical lattice search
- arxiv url: http://arxiv.org/abs/2609.14741v1
- Date: Sun, 13 Sep 2026 19:03:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-16 07:15:05.952201
- Title: A property-registry contract for retrieve-or-refuse thermal-mechanical lattice search
- Title（参考訳）: 回収・再生熱・機械格子探索のための特性登録契約
- Abstract要約: この研究は、ホモジェナイズドプロパティのカタログに確立されたコンフリクト診断を適用する。
1,397個の均質化された単位セルと19個の基材(26,543個の組み合わせ)を検索すると、第2の解法器が再構築できるカタログ列が返される。
あるレジストリ宣言はプロンプトと評価器を生成するため、未宣言のパースされたキーは検索に到達できない。
- 参考スコア（独自算出の注目度）: 3.9964388970594023
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Early thermal-mechanical lattice requirements are knowledge-intensive and often jointly unsatisfiable: an engineer asks for a cell that is light, stiff, laterally conducting and cheap, and no cell in the library satisfies it. A design system should say so, and say which requirement to loosen and by how much, rather than return the nearest row. A generative model can return a candidate even when the library holds none. This work applies established conflict diagnosis to a catalogue of homogenised properties. Search over 1,397 homogenised unit cells and 19 base materials (26,543 combinations) returns a catalogue row that a second solver can rebuild, or, for an empty feasible set of at most eight constraints, inclusion-minimal unsatisfiable subsets (MUS) and the slack of a repair, not a neighbour. One registry declaration generates the prompt and the evaluator, so undeclared parsed keys cannot reach search. On a frozen suite of 64 typed queries, retrieve-or-refuse matches min-repair on every feasible query (48/48) and refuses every empty one (16/16) with MUS and slack. Constraint-ignoring nearest-neighbour and penalty search violate stated cost or density limits. On 216 empty queries, repairs printed at three significant figures and rounded outward stay feasible in every case (216/216). When density and cost must be kept, a list of minimum-cardinality repairs keeps them on 209 of 211 queries; a protection-first repair keeps them on all 211, the same as full diagnosis. A 308-request parse benchmark is a template-text check, not unconstrained engineer prose.
- Abstract（参考訳）: 初期の熱力学格子の要求は知識集約的で、しばしば共同で満足できない:エンジニアは、軽く、硬く、横方向の導電性があり、安価で、図書館内の細胞が満足できる細胞を求める。
設計システムは、最寄りの行を返すのではなく、どの要件を緩めるか、どのくらいの量で言うべきです。
生成モデルは、ライブラリが保持していない場合でも候補を返すことができる。
この研究は、ホモジェナイズドプロパティのカタログに確立されたコンフリクト診断を適用する。
1,397以上の均質化された単位セルと19の基材(26,543の組み合わせ)を検索すると、第2の解法器が再構築できるカタログ列が返されるか、または少なくとも8つの制約の空の可能な集合に対して、包含最小不満足な部分集合(MUS)と、隣人ではなく修理の欠如が返される。
あるレジストリ宣言はプロンプトと評価器を生成するため、未宣言のパースされたキーは検索に到達できない。
64の型付きクエリのフリーズスイートでは、recover-or-refuseはすべての実行可能なクエリ(48/48)でmin-repairと一致し、MUSとslackで空のクエリ(16/16)をすべて拒否する。
制限を無視する最も近い隣人やペナルティの捜索は、費用や密度の制限を犯した。
216の空のクエリでは、3つの重要な数字で印刷され、すべてのケース(216/216)で外向きに丸められた修復が可能である。
密度とコストを保たなければならない場合、最小限の心力補正のリストは211クエリの209に保持し、保護第一の修復は全診断と同じ211に保持する。
308-requestパースベンチマークは、制約のないエンジニアの散文ではなく、テンプレートテキストチェックである。
関連論文リスト
- VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Feature Priming in Online Linear Regression: Sparse-Regret Lower Bounds and a Tight Univariate Rate [47.36630149538994]
高次元のオンライン予測では、最良の予測子はいくつかの機能にのみ依存する可能性があるため、後悔は周囲の次元ではなく、疎らさでスケールすべきである。
WarmuthとAmidはCOLT 2023で、これらの3つのルールのいずれかが競合するオンライン後悔の保証を認めているかどうかを尋ねた。
安価なニュアンスは、リフィットが真の予測座標を過度に重くする原因となる。
論文 参考訳（メタデータ） (2026-08-18T09:32:03Z) - Capability Sheaves for Compositional Agent-Harness Repair: Controlled Quotients and a Real-Repository Stress Test [0.0]
エージェントハーネスは、検索、ルーティング、状態、証明、検証を組み合わせるが、ローカルに成功したコンポーネントは共有状態に異を唱えることがある。
我々は、この失敗を有限エンハンパビリティ層でモデル化する:ストークは型付き動作シグネチャを符号化し、制限マップは共有フィールドを保持し、受け入れられた実行は有用なグローバルセクションである。
20以上のタスククラスタで制御された実験では、生の状態がニュアンス変数である隠された内部メディエータが導入された。
次に、PatchFuseBenchのSWE-benchプールから分離した発見法について、20のリポジトリから160の課題、875の実際の候補パッチ、2,579のソースを意識した編集原子をテストした。
論文 参考訳（メタデータ） (2026-08-13T13:31:09Z) - Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review [0.0]
本稿では,AI符号化エージェントによる大規模建築解体のケーススタディについて報告する。
ここで述べられているプロトコルの下で、エージェントはそれを正常に完了した。
論文 参考訳（メタデータ） (2026-08-12T15:35:48Z) - Ko-WideSearch: A Korean Breadth-Search Benchmark for Exhaustive Set Enumeration by Web Agents [2.3677513428867614]
金のセットが完成し、すべてのセルが正しいことを証明することは、1つの答えをチェックするよりもはるかにコストがかかる。
textscKo-WideSearchは、自動合成および検証パイプラインによって構築された韓国のパンス検索ベンチマークです。
論文 参考訳（メタデータ） (2026-06-25T22:51:59Z) - The Deterministic Horizon: Impossibility Results as Design Specifications for Trustworthy AI Systems [0.0]
この論文は、好奇心から不合理性の結果を設計規則に変える。
そのフラッグシップとなる結果は、アーキテクチャだけで設定された精度の高い天井を証明している。
同じ引数がサブフィールドにまたがって再キャストされる。
論文 参考訳（メタデータ） (2026-05-21T20:48:35Z) - A Grammar of Machine Learning Workflows [0.0]
本稿では、教師付き学習ライフサイクルを8つのカーネルプリミティブに分解し、型付き有向非巡回グラフ(DAG)で連結する構造的救済法を提案する。
文法のコアコントリビューションはターミナルアセスメントの制約であり、テストセットの繰り返し評価は、名目上異なるエビデンス型のガードによって拒否される。
論文 参考訳（メタデータ） (2026-03-11T13:15:33Z) - Eigen-1: Adaptive Multi-Agent Refinement with Monitor-Based RAG for Scientific Reasoning [53.45095336430027]
暗黙的な検索と構造化された協調を組み合わせた統合フレームワークを開発する。
Humanity's Last Exam (HLE) Bio/Chem Goldでは,48.3%の精度を実現している。
SuperGPQAとTRQAの結果はドメイン間の堅牢性を確認した。
論文 参考訳（メタデータ） (2025-09-25T14:05:55Z) - Reasoning-enhanced Query Understanding through Decomposition and Interpretation [87.56450566014625]
ReDIは、分解と解釈によるクエリ理解のための推論強化アプローチである。
我々は,大規模検索エンジンから実世界の複雑なクエリの大規模データセットをコンパイルした。
BRIGHT と BEIR の実験により、ReDI はスパースと密度の高い検索パラダイムの両方において、強いベースラインを一貫して超えることを示した。
論文 参考訳（メタデータ） (2025-09-08T10:58:42Z) - Retrieval-Augmented Generation with Conflicting Evidence [57.66282463340297]
大規模言語モデル (LLM) エージェントは、応答の事実性を改善するために、検索強化世代 (RAG) をますます採用している。
実際には、これらのシステムは曖昧なユーザクエリを処理し、複数のソースからの情報に衝突する可能性がある。
RAMDocs(Retrieval with Ambiguity and Misinformation in Documents)は,ユーザクエリのエビデンスを矛盾させるような,複雑で現実的なシナリオをシミュレートする新しいデータセットである。
論文 参考訳（メタデータ） (2025-04-17T16:46:11Z) - FIRE: Fact-checking with Iterative Retrieval and Verification [63.67320352038525]
FIREはエビデンス検索とクレーム検証を反復的に統合する新しいフレームワークである。
大きな言語モデル(LLM)のコストを平均7.6倍、検索コストを16.5倍削減しながら、パフォーマンスが若干向上している。
これらの結果から,FIREは大規模ファクトチェック業務における適用を約束していることが明らかとなった。
論文 参考訳（メタデータ） (2024-10-17T06:44:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。