Fugu-MT 論文翻訳(概要): Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

論文の概要: Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

arxiv url: http://arxiv.org/abs/2003.09340v4
Date: Tue, 21 Jul 2020 22:09:07 GMT
ステータス: 処理完了
システム内更新日: 2022-12-21 23:02:58.415349
Title: Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
Title（参考訳）: 順序付き関数決定図:二項決定図の関数意味論
Authors: Joan Thibault and Khalil Ghorbal
Abstract要約: 我々は、純粋に機能的な観点からバイナリ決定ダイアグラムを再検討する、$lambda$DDと呼ばれる新しいフレームワークを紹介します。我々は、原則的に、このクラスのすべてのモデルを列挙し、最も表現力のあるモデルを分離する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain-DD and ESRBDD, as implementations of a special class of ordered models. We enumerate, in a principled way, all the models of this class and isolate its most expressive model. This new model, termed $\lambda$DD-O-NUCX, is suitable for both dense and sparse Boolean functions, and is moreover invariant by negation. The canonicity of $\lambda$DD-O-NUCX is formally verified using the Coq proof assistant. We furthermore give bounds on the size of the different diagrams: the potential gain achieved by more expressive models can be at most linear in the number of variables n.
Abstract（参考訳）: 我々は、純粋に機能的な観点からバイナリ決定ダイアグラムを再検討する、$\lambda$DDと呼ばれる新しいフレームワークを紹介します。このフレームワークは、Chain-DDやESRBDDなど、既存のバリエーションを特別な順序付きモデルのクラスの実装として分類することができる。原則的に、このクラスのすべてのモデルを列挙し、最も表現力のあるモデルを分離する。この新しいモデルは$\lambda$dd-o-nucxと呼ばれ、密度関数とスパースブール関数の両方に適しているが、さらに否定によって不変である。 \lambda$dd-o-nucx のキャノニティは coq 証明アシスタントを用いて正式に検証される。より表現力のあるモデルによって得られる潜在的な利得は、変数 n の個数において最大に線形である。

関連論文リスト

COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement [80.18490952057125]
反復改良は、複雑なタスクにおける大規模言語モデル(LLM)の能力を高める効果的なパラダイムとして登場した。我々はこれらの課題を克服するために、コンテキストワイズ順序非依存言語モデリング(COrAL)を提案する。当社のアプローチでは、管理可能なコンテキストウィンドウ内で複数のトークン依存関係をモデル化しています。
論文参考訳（メタデータ） (2024-10-12T23:56:19Z)
Fine-Tuning with Divergent Chains of Thought Boosts Reasoning Through Self-Correction in Language Models [63.36637269634553]
本稿では,複数の推論連鎖を比較するためにモデルを必要とすることによって,性能を向上する新しい手法を提案する。 DCoTデータセットの命令チューニングにより、より小さく、よりアクセスしやすい言語モデルの性能が向上することがわかった。
論文参考訳（メタデータ） (2024-07-03T15:01:18Z)
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph [0.6445605125467574]
我々はCSBASG(Compplex Structurely Balanced Abstract Semantic Graph)という新しいコード表現スキーマを導入する。 CSBASGは、ある意味的要素をグラフのノードとしてリストする複雑な重み付き有向グラフとしてコードを表す。我々は,合金モデルに対するCSBASG表現の効率を,ASTと比較してコンパクト性の観点から評価した。
論文参考訳（メタデータ） (2024-02-29T22:41:09Z)
Discrete Graph Auto-Encoder [52.50288418639075]
離散グラフオートエンコーダ(DGAE)という新しいフレームワークを導入する。まず、置換同変オートエンコーダを用いてグラフを離散潜在ノード表現の集合に変換する。 2番目のステップでは、離散潜在表現の集合をソートし、特別に設計された自己回帰モデルを用いてそれらの分布を学習する。
論文参考訳（メタデータ） (2023-06-13T12:40:39Z)
DORE: Document Ordered Relation Extraction based on Generative Framework [56.537386636819626]
本稿では,既存のDocREモデルの根本原因について検討する。本稿では,モデルが学習しやすく,決定論的な関係行列から記号列と順序列を生成することを提案する。 4つのデータセットに対する実験結果から,提案手法は生成型DocREモデルの性能を向上させることができることが示された。
論文参考訳（メタデータ） (2022-10-28T11:18:10Z)
Model Selection in Reinforcement Learning with General Function Approximations [10.97775622611135]
強化学習環境におけるモデル選択の検討 - マルチアームバンド(MAB)とマルコフ決定プロセス(MDP)- モデル選択フレームワークでは、$mathcalF$と$mathcalM$で表される関数クラスを知らない。適応アルゴリズムの累積的後悔は、正しい関数クラスを知っているオラクルの後悔と一致することを示す。
論文参考訳（メタデータ） (2022-07-06T21:52:07Z)
Optimizing Binary Decision Diagrams with MaxSAT for classification [3.2894524838755608]
説明可能な人工知能への関心の高まりは、解釈可能な機械学習(ML)モデルの必要性を動機付けている。近年、従来の手法の弱点を克服するために、そのようなモデルを計算するためのいくつかの正確な方法が提案されている。本稿ではまず,最適なバイナリ決定図(BDD)を学習するためのSATモデルを提案する。次に、符号化をMaxSATモデルに上げ、限られた深さで最適なBDDを学習します。最後に、MaxSATモデルを介して見つけたBDDの互換性のあるサブツリーをマージする手法を導入することにより、フラグメンテーションの問題に取り組む。
論文参考訳（メタデータ） (2022-03-21T23:17:37Z)
Exploring Dynamic Selection of Branch Expansion Orders for Code Generation [43.027059412639]
Seq2Treeモデルにコンテキストベースのブランチセレクタを装備する。セレクタは、マルチブランチノードに対するブランチの最適な拡張順序を動的に決定できる。いくつかの一般的なデータセットに対する実験結果と詳細な分析により,本手法の有効性と汎用性を示した。
論文参考訳（メタデータ） (2021-06-01T06:52:41Z)
Improving Robustness and Generality of NLP Models Using Disentangled Representations [62.08794500431367]
スーパービジョンニューラルネットワークはまず入力$x$を単一の表現$z$にマップし、次に出力ラベル$y$にマッピングする。本研究では,非交叉表現学習の観点から,NLPモデルの堅牢性と汎用性を改善する手法を提案する。提案した基準でトレーニングしたモデルは、広範囲の教師付き学習タスクにおいて、より堅牢性とドメイン適応性を向上することを示す。
論文参考訳（メタデータ） (2020-09-21T02:48:46Z)
Particle-Gibbs Sampling For Bayesian Feature Allocation Models [77.57285768500225]
最も広く使われているMCMC戦略は、特徴割り当て行列のギブス更新に頼っている。単一移動で特徴割り当て行列の全行を更新できるギブスサンプリング器を開発した。このサンプルは、計算複雑性が特徴数で指数関数的にスケールするにつれて、多数の特徴を持つモデルにとって実用的ではない。我々は,行ワイズギブズ更新と同じ分布を目標としたパーティクルギブズサンプルの開発を行うが,特徴数でのみ線形に増大する計算複雑性を有する。
論文参考訳（メタデータ） (2020-01-25T22:11:51Z)

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