論文の概要: Learning to Bound: Monotonic, Calibrated Neural Upper Bounds for MPE Inference
- arxiv url: http://arxiv.org/abs/2610.39305v1
- Date: Thu, 29 Oct 2026 03:51:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-31 05:25:12.455751
- Title: Learning to Bound: Monotonic, Calibrated Neural Upper Bounds for MPE Inference
- Title(参考訳): MPE推論のためのモノトニックな校正型ニューラルネットワーク上界の学習
- Abstract要約: Learning to Bound(L2B)は、ニューラルネットワーク予測器をトレーニングすることで、バウンド計算コストを補正するデータ駆動フレームワークである。
挑戦的なベンチマークを通じて、L2Bはより厳密で単調なバウンダリを、すべてのPGMファミリのオーダー・オブ・マグニチュードで提供します。
- 参考スコア(独自算出の注目度): 16.206822096430923
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Probabilistic graphical models (PGMs) compactly encode structured joint distributions, but Most Probable Explanation (MPE), which finds the highest-probability assignment to unobserved variables, remains computationally intractable in large, densely structured models. Anytime systematic search, such as branch-and-bound (B&B), is a popular approach, but its efficiency depends on tight admissible upper bounds that are often prohibitively expensive to compute using classical methods like Mini-Bucket Elimination (MBE). We introduce Learning to Bound (L2B), a data-driven framework that amortizes bound computation cost by training a neural predictor. L2B targets two key properties required for effective search bounds: admissibility, which is achieved via statistical calibration techniques, and progressive tightening as evidence accumulates, which is enforced through structural architectural constraints that ensure monotonicity by construction. Across challenging benchmarks, L2B delivers tighter, monotonic bounds at orders-of-magnitude lower cost on every PGM family, and yields measurable improvements when integrated with branch-and-bound on high-treewidth instances.
- Abstract(参考訳): 確率的グラフィカルモデル(英語版)(PGM)は、構造化された関節分布をコンパクトに符号化するが、非観測変数に対する最も確率の高い割り当てを見つける最も確率的な説明(英語版)(MPE)は、大規模で高密度に構造化されたモデルで計算的に抽出可能である。
ブランチ・アンド・バウンド (B&B) のような体系的な探索は一般的な手法であるが、その効率は、ミニ・バケット・エミネーション (MBE) のような古典的な手法を用いて計算するのに非常に高価である厳密な許容可能な上限に依存する。
我々は、ニューラルネットワーク予測器をトレーニングすることで、バウンド計算コストを補正するデータ駆動フレームワークであるLearning to Bound (L2B)を紹介した。
L2B は、統計的キャリブレーション技術によって達成される許容性と、証拠が蓄積されるにつれて進行的な密化であり、建設による単調性を保証する構造的構造的制約によって強制される。
挑戦的なベンチマーク全体で、L2Bはより厳密で単調なバウンダリをすべてのPGMファミリのオーダー・オブ・マグニチュードで提供し、高ツリー幅のインスタンスでブランチ・アンド・バウンドと統合した場合に測定可能な改善をもたらす。
関連論文リスト
- GPU-friendly and Linearly Convergent First-order Methods for Certifying Optimal $k$-sparse GLMs [7.079949618914198]
ブランチ・アンド・バウンド(BnB)フレームワークは、パースペクティブ・リラクゼーションを使って最適性を証明できる。
これらの緩和を解く既存の手法は計算集約的であり、スケーラビリティを制限している。
我々は線形収束性と計算効率の両立した近位フレームワークを開発する。
論文 参考訳(メタデータ) (2026-03-01T22:26:09Z) - Boundary-Guided Policy Optimization for Memory-efficient RL of Diffusion Large Language Models [53.339700196282905]
大きな言語モデル(dLLM)に強化学習を適用する上で重要な課題は、その可能性関数の抽出性である。
本稿では,ELBOに基づく目的の特別に構築された下界を最大化するメモリ効率のRLアルゴリズムを提案する。
実験によると、BGPOは数学の問題解決、コード生成、計画タスクにおいて、dLLMの以前のRLアルゴリズムよりも大幅に優れていた。
論文 参考訳(メタデータ) (2025-10-13T17:47:50Z) - PT$^2$-LLM: Post-Training Ternarization for Large Language Models [52.4629647715623]
大きな言語モデル(LLM)は、様々なタスクにまたがる印象的な機能を示しているが、その大きなメモリと計算能力は、デプロイメントを妨げている。
PT$2$-LLMを提案する。
その中核は2段精製パイプラインを備えた非対称3次量子化器である。
論文 参考訳(メタデータ) (2025-09-27T03:01:48Z) - Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
生成のための教師なし共形推論フレームワークを提案する。
我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。
その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
論文 参考訳(メタデータ) (2025-09-26T23:40:47Z) - Scalable First-order Method for Certifying Optimal k-Sparse GLMs [9.613635592922174]
そこで本研究では,BnBフレームワークの視点緩和を解くために,一階近位勾配アルゴリズムを提案する。
提案手法は双有界計算を著しく高速化し,大規模問題に対する最適性証明の提供に極めて有効であることを示す。
論文 参考訳(メタデータ) (2025-02-13T17:14:18Z) - Towards Continual Learning Desiderata via HSIC-Bottleneck
Orthogonalization and Equiangular Embedding [55.107555305760954]
本稿では,レイヤワイドパラメータのオーバーライトや決定境界の歪みに起因する,概念的にシンプルで効果的な手法を提案する。
提案手法は,ゼロの指数バッファと1.02倍の差が絶対的に優れていても,競争精度が向上する。
論文 参考訳(メタデータ) (2024-01-17T09:01:29Z) - Efficient semidefinite bounds for multi-label discrete graphical models [6.226454551201676]
このようなモデルにおける主要なクエリの1つは、Posteri(MAP)ネットワークのコストに関するSDPWCSP関数を特定することである。
従来の二重化制約手法と,行ごとの更新に基づく専用SDP/Monteiroスタイルの手法を検討する。
論文 参考訳(メタデータ) (2021-11-24T13:38:34Z) - Improved Branch and Bound for Neural Network Verification via Lagrangian
Decomposition [161.09660864941603]
ニューラルネットワークの入出力特性を公式に証明するためのブランチとバウンド(BaB)アルゴリズムのスケーラビリティを改善します。
活性化に基づく新しい分岐戦略とBaBフレームワークであるブランチとデュアルネットワーク境界(BaDNB)を提案する。
BaDNBは、従来の完全検証システムを大きなマージンで上回り、対数特性で平均検証時間を最大50倍に削減した。
論文 参考訳(メタデータ) (2021-04-14T09:22:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。