Fugu-MT 論文翻訳(概要): Abstract Interpretation on E-Graphs

論文の概要: Abstract Interpretation on E-Graphs

arxiv url: http://arxiv.org/abs/2203.09191v1
Date: Thu, 17 Mar 2022 09:29:44 GMT
ステータス: 処理完了
システム内更新日: 2022-03-19 00:58:18.316607
Title: Abstract Interpretation on E-Graphs
Title（参考訳）: Eグラフの抽象解釈
Authors: Samuel Coward, George A. Constantinides, Theo Drane
Abstract要約: 本稿では,電子グラフに対する抽象解釈の適用について考察し,電子グラフ内では,抽象領域に関連する格子整合演算がeクラスの自然な解釈を持つことを示す。この拡張抽象論では、この点を説明するのにInterval Arithmetic (IA) を用いる。
参考スコア（独自算出の注目度）: 2.1700203922407497
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions. However, equivalences that hold over one interpretation may not hold in an alternative interpretation. Such an observation can be exploited. We consider the application of abstract interpretation to e-graphs, and show that within an e-graph, the lattice meet operation associated with the abstract domain has a natural interpretation for an e-class, leading to improved precision in over-approximation. In this extended abstract, we use Interval Arithmetic (IA) to illustrate this point.
Abstract（参考訳）: 最近のe-graphアプリケーションは、表現の具体的意味論をよく考慮しており、同値の概念は表現の具体的解釈に由来する。しかし、1つ以上の解釈を持つ同値は別の解釈では持たない。そのような観察は活用できる。本稿では,e-graph への抽象解釈の適用について検討し,e-graph 内では,抽象領域に付随する格子が e-class に対する自然な解釈を持つことを示す。この拡張抽象論では、この点を説明するのにInterval Arithmetic (IA) を用いる。

関連論文リスト

Conjuring Semantic Similarity [59.18714889874088]
2つのテキスト表現間の意味的類似性は、潜伏者の「意味」の間の距離を測定するテキスト表現間の意味的類似性は、他の表現を言い換えるのではなく、それらが引き起こすイメージに基づいている、という新しいアプローチを提案する。提案手法は,人間の注釈付きスコアに適合するだけでなく,テキスト条件付き生成モデル評価のための新たな道を開く意味的類似性に関する新たな視点を提供する。
論文参考訳（メタデータ） (2024-10-21T18:51:34Z)
Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。我々のアプローチは、新しい核規範に基づく損失に基づいている。部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
論文参考訳（メタデータ） (2024-05-25T12:51:38Z)
Transitivity Recovering Decompositions: Interpretable and Robust Fine-Grained Relationships [69.04014445666142]
Transitivity Recovering Decompositions (TRD) は、抽象的な創発的関係の解釈可能な等価性を識別するグラフ空間探索アルゴリズムである。 TRDは明らかにノイズの多い見方に対して堅牢であり、実証的な証拠もこの発見を支持している。
論文参考訳（メタデータ） (2023-10-24T16:48:56Z)
Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文参考訳（メタデータ） (2023-05-24T01:35:10Z)
Combining Stochastic Explainers and Subgraph Neural Networks can Increase Expressivity and Interpretability [12.526174412246107]
サブグラフ強化グラフニューラルネットワーク(SGNN)は、標準的なメッセージパッシングフレームワークのパワーを高めることができる。本稿では,グラフのクラスと説明的スパース部分グラフの集合を共同で予測する新しいフレームワークを提案する。
論文参考訳（メタデータ） (2023-04-14T14:21:20Z)
Semantic-aware Contrastive Learning for More Accurate Semantic Parsing [32.74456368167872]
そこで本研究では,意味表現の微粒化を学習できる意味認識型コントラスト学習アルゴリズムを提案する。 2つの標準データセットの実験により、我々の手法はMLEベースラインよりも大幅に改善されていることが示された。
論文参考訳（メタデータ） (2023-01-19T07:04:32Z)
Fashion-Specific Attributes Interpretation via Dual Gaussian Visual-Semantic Embedding [2.019622939313173]
両ガウスの視覚-セマンティック埋め込みと呼ばれるエンドツーエンドモデルを提案する。画像と属性を同じ射影空間にマッピングし、それらの用語の意味を広義の応用で解釈できるようにする。
論文参考訳（メタデータ） (2022-10-28T03:34:51Z)
Plurality and Quantification in Graph Representation of Meaning [4.82512586077023]
我々のグラフ言語は、モナディックな2階変数のみを用いた自然言語意味論の本質を網羅している。単純な構文意味インタフェースで意味グラフを構築するための統一型機構を提案する。現在のグラフ形式は、分配的述語、カテゴリー横断接続、および量化表現のスコープ置換における言語問題に適用される。
論文参考訳（メタデータ） (2021-12-13T07:04:41Z)
A Differentiable Relaxation of Graph Segmentation and Alignment for AMR Parsing [75.36126971685034]
我々は、アライメントとセグメンテーションをモデルの潜在変数として扱い、エンドツーエンドのトレーニングの一部としてそれらを誘導する。また,AMRの個々の構造を扱うために手作りされたLyu2018AMRPAのセグメンテーションルールに依存するモデルにもアプローチした。
論文参考訳（メタデータ） (2020-10-23T21:22:50Z)
Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability [54.85658598523915]
我々は,解釈の忠実性を評価する前に,解釈を明確に定義することを提案する。解釈手法は,ある評価基準の下で異なる性能を示すが,その差は解釈の品質や忠実さから生じるものではない。
論文参考訳（メタデータ） (2020-09-16T06:38:03Z)

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