Fugu-MT 論文翻訳(概要): The Integer Linear Programming Inference Cookbook

論文の概要: The Integer Linear Programming Inference Cookbook

arxiv url: http://arxiv.org/abs/2307.00171v1
Date: Fri, 30 Jun 2023 23:33:11 GMT
ステータス: 処理完了
システム内更新日: 2023-07-05 17:43:36.555312
Title: The Integer Linear Programming Inference Cookbook
Title（参考訳）: 整数線形プログラミング推論クックブック
Authors: Vivek Srikumar, Dan Roth
Abstract要約: このサーベイは、整数線形プログラムのインスタンスとして新しい推論問題をフレーミングするプロセスを通じて、読者を導くことを目的としている。最後に、これらのレシピの使用例を2つ紹介する。
参考スコア（独自算出の注目度）: 108.82092464025231
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Over the years, integer linear programs have been employed to model inference in many natural language processing problems. This survey is meant to guide the reader through the process of framing a new inference problem as an instance of an integer linear program and is structured as a collection of recipes. At the end, we will see two worked examples to illustrate the use of these recipes.
Abstract（参考訳）: 長年にわたり、整数線形プログラムは、多くの自然言語処理問題における推論のモデル化に用いられてきた。この調査は、整数線形プログラムのインスタンスとして新しい推論問題をフレーミングするプロセスを通じて読者を導くことを目的としており、レシピのコレクションとして構成されている。最後に、これらのレシピの使用例を2つ紹介します。

関連論文リスト

Human-AI Co-Creation of Worked Examples for Programming Classes [1.5663705658818543]
コード説明の開始バージョンを生成するJavaの動作例を作成するオーサリングシステムを導入する。また,本手法を用いて作成した説明の質を評価する。
論文参考訳（メタデータ） (2024-02-26T01:44:24Z)
One-for-many Counterfactual Explanations by Column Generation [10.722820966396192]
我々は,一群のインスタンスに対して,一組の対実的説明を生成するという問題を考察する。はじめに、すべてのインスタンスを説明するのに必要な説明の数を最小化する問題を解く。説明を効率的に検索する新しい列生成フレームワークを開発した。
論文参考訳（メタデータ） (2024-02-12T10:03:31Z)
Authoring Worked Examples for Java Programming with Human-AI Collaboration [1.5663705658818543]
コード説明の開始バージョンを生成するJavaの動作例を作成するオーサリングシステムを導入する。また,本手法を用いて作成した説明の質を評価する。
論文参考訳（メタデータ） (2023-12-04T18:32:55Z)
Leveraging Causal Inference for Explainable Automatic Program Repair [24.146216081282798]
本稿では,因果推論を用いたシーケンス・ツー・シーケンスモデルに基づくプログラム修復のための解釈可能なアプローチを提案する。我々の手法はCPRと呼ばれ、因果プログラムの修復に短い。 4つのプログラミング言語の実験では、CPRが合理的な解釈のために因果グラフを生成できることが示されている。
論文参考訳（メタデータ） (2022-05-26T13:25:33Z)
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts [88.94020638263467]
ブランチ・アンド・カット(ブランチ・アンド・カット)として知られる分岐・アンド・バウンドアルゴリズムにおける切断平面の組み入れは、現代の整数計画解法のバックボーンを形成する。入力整数プログラムに付加される切断平面を定義するパラメータの変化により、アルゴリズムの各ステップがどのように影響を受けるかをピン留めする、分岐切断の新たな構造解析を行う。この分析の主な応用は、機械学習を用いてブランチ・アンド・カット時にどの切断面を適用するかを決定するためのサンプルの複雑性保証を導出することである。
論文参考訳（メタデータ） (2022-04-15T03:32:40Z)
Polyjuice: Automated, General-purpose Counterfactual Generation [37.152326506591876]
用途から反実数生成を解き放ち、まず汎用的な反実数を収集し、特定の用途に選定することを提案する。我々は, 自動逆ファクト生成をテキスト生成とし, GPT-2を生成器Polyjuiceにファインチューンし, 流動的で多様な反ファクト生成を行う。
論文参考訳（メタデータ） (2021-01-01T18:34:22Z)
When is Memorization of Irrelevant Training Data Necessary for High-Accuracy Learning? [53.523017945443115]
我々は,十分な精度のトレーニングアルゴリズムが,予測モデルにおいて,そのトレーニング例の大規模サブセットに関する情報を本質的にすべてエンコードしなければならない自然予測問題を記述する。私たちの結果は、トレーニングアルゴリズムや学習に使用されるモデルのクラスに依存しません。
論文参考訳（メタデータ） (2020-12-11T15:25:14Z)
The Extraordinary Failure of Complement Coercion Crowdsourcing [50.599433903377374]
クラウドソーシングは近年,言語アノテーションの収集を緩和し,スケールアップしている。本研究の目的は,この現象の注釈付きデータを2つの既知のタスク – 明示的補完と自然言語推論 – に還元することで収集することである。どちらの場合も、クラウドソーシングは合意のスコアが低かった。
論文参考訳（メタデータ） (2020-10-12T19:04:04Z)
Incomplete Utterance Rewriting as Semantic Segmentation [57.13577518412252]
本稿では, セマンティックセグメンテーションタスクとして定式化する, 斬新で広範囲なアプローチを提案する。スクラッチから生成する代わりに、このような定式化は編集操作を導入し、単語レベルの編集行列の予測として問題を形作る。私たちのアプローチは、推論における標準的なアプローチの4倍高速です。
論文参考訳（メタデータ） (2020-09-28T09:29:49Z)
Learning What Makes a Difference from Counterfactual Examples and Gradient Supervision [57.14468881854616]
ニューラルネットワークの一般化能力を改善するための補助的学習目標を提案する。我々は、異なるラベルを持つ最小差の例のペア、すなわち反ファクトまたはコントラストの例を使用し、タスクの根底にある因果構造を示す信号を与える。このテクニックで訓練されたモデルは、配布外テストセットのパフォーマンスを向上させる。
論文参考訳（メタデータ） (2020-04-20T02:47:49Z)

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