Fugu-MT 論文翻訳(概要): Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets

論文の概要: Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets

arxiv url: http://arxiv.org/abs/2307.03974v2
Date: Thu, 20 Jul 2023 21:10:49 GMT
ステータス: 処理完了
システム内更新日: 2023-10-23 18:05:38.698847
Title: Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets
Title（参考訳）: EventB, $\{log\}$, Why3 スパース集合モデルの比較
Authors: Maximiliano Cristi\'a and Catherine Dubois
Abstract要約: この論文は、値の有限集合である整数変数領域を表現するためにいくつかの制約解決器で使われるスパース集合に焦点を当てている。本稿では,スパース集合の実装をEventB,$log$,Why3という3つの帰納的形式検証ツールで検証する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Many representations for sets are available in programming languages libraries. The paper focuses on sparse sets used, e.g., in some constraint solvers for representing integer variable domains which are finite sets of values, as an alternative to range sequence. We propose in this paper verified implementations of sparse sets, in three deductive formal verification tools, namely EventB, $\{log\}$ and Why3. Furthermore, we draw some comparisons regarding specifications and proofs.
Abstract（参考訳）: 集合の多くの表現はプログラミング言語ライブラリで利用可能である。この論文は、例えば、範囲列の代替として、値の有限集合である整数変数領域を表す制約解決器で使われるスパース集合に焦点を当てている。本稿では, スパース集合の実装を, EventB, $\{log\}$ と Why3 の3つの帰納的形式検証ツールで検証する。さらに,仕様や証明について比較する。

関連論文リスト

Unlocking Tokens as Data Points for Generalization Bounds on Larger Language Models [79.70436109672599]
LLaMA2-70Bほどの大きさの大規模言語モデルの非空一般化境界を導出する。我々の研究は、実際にデプロイされ、高品質なテキストを生成するモデルに対する最初の非空き境界を達成する。
論文参考訳（メタデータ） (2024-07-25T16:13:58Z)
Multi-Candidate Speculative Decoding [82.05519287513444]
大規模な言語モデルは、様々なNLPタスクで印象的な機能を示してきたが、その生成は自動回帰的に時間を要する。これは高速なドラフトモデルから候補セグメントを生成し、ターゲットモデルによって並列に検証する。本稿では,複数の候補をドラフトモデルから抽出し,検証のためにバッチにまとめる手法を提案する。対象モデルの分布を維持しつつ,効率的な多候補検証のためのアルゴリズムを設計する。
論文参考訳（メタデータ） (2024-01-12T17:15:23Z)
3vLTL: A Tool to Generate Automata for Three-valued LTL [0.0]
線形時間時間時間論理(LTL)の式からBuchi Automaticaを生成するツールである3vLTLを提案する。提案手法は,選択した真理値を式に割り当てるすべての単語を受理するBuchiオートマトンを生成する。
論文参考訳（メタデータ） (2023-11-16T11:04:38Z)
In-Context Learning for Text Classification with Many Labels [34.87532045406169]
多くのラベルを持つタスクに対して大きな言語モデルを用いたインコンテキスト学習(ICL)は、コンテキストウィンドウが限られているため困難である。我々は、この制限を回避するために、事前訓練された高密度検索モデルを使用する。我々は、コンテキスト内サンプルの数と異なるモデルスケールのパフォーマンスを分析します。
論文参考訳（メタデータ） (2023-09-19T22:41:44Z)
Efficient Semiring-Weighted Earley Parsing [71.77514972816347]
本稿では,様々なスピードアップを伴うEarey (1970) の文脈自由構文解析アルゴリズムの,推論システムという形での参照記述を提供する。私たちのプレゼンテーションには、Earey氏の$O(N3|GR|)$から、既知の最悪のランタイム改善が含まれています。半重み付き推論への一般化を扱い、Stolcke (1995)のような文法を前処理して推論サイクルを排除し、さらに文プレフィックスの重みを計算するStolckeの手法を一般化する。
論文参考訳（メタデータ） (2023-07-06T13:33:59Z)
Finding Dataset Shortcuts with Grammar Induction [85.47127659108637]
我々は,NLPデータセットのショートカットの特徴付けと発見に確率文法を用いることを提案する。具体的には、文脈自由文法を用いて文分類データセットのパターンをモデル化し、同期文脈自由文法を用いて文ペアを含むデータセットをモデル化する。その結果得られた文法は、単純かつ高レベルの機能を含む、多くのデータセットで興味深いショートカット機能を示す。
論文参考訳（メタデータ） (2022-10-20T19:54:11Z)
Efficient Explanations With Relevant Sets [30.296628060841645]
本稿では,$delta$-relevant 集合の実用的限界に対処するための解について検討する。 $delta$-relevant 集合の部分集合の計算は NP であり、NP のオラクルへの多くの呼び出しで解ける。
論文参考訳（メタデータ） (2021-06-01T14:57:58Z)
Mini-Batch Consistent Slot Set Encoder for Scalable Set Encoding [50.61114177411961]
大規模のミニバッチセットエンコーディングに必要な、Mini-Batch Consistencyと呼ばれる新しいプロパティを紹介します。本稿では,設定要素に対してミニバッチ処理が可能で,より多くのデータが到着するにつれて,セット表現を更新できる,スケーラブルで効率的なセット符号化機構を提案する。
論文参考訳（メタデータ） (2021-03-02T10:10:41Z)
Set Distribution Networks: a Generative Model for Sets of Images [22.405670277339023]
自動エンコードと自由にセットを生成するフレームワークであるSet Distribution Networks(SDN)を紹介する。ベンチマークデータセットの入力の健全な属性を保存するイメージセットを,SDNが再構築可能であることを示す。本稿では,SDN が生成した画像の品質を評価する新しい手法として,事前学習した3次元再構成ネットワークと顔検証ネットワークを用いて,SDN が生成した画像集合について検討する。
論文参考訳（メタデータ） (2020-06-18T17:38:56Z)
Learn to Predict Sets Using Feed-Forward Neural Networks [63.91494644881925]
本稿では、ディープフィードフォワードニューラルネットワークを用いた設定予測の課題に対処する。未知の置換と基数を持つ集合を予測するための新しい手法を提案する。関連視覚問題に対する集合定式化の有効性を実証する。
論文参考訳（メタデータ） (2020-01-30T01:52:07Z)
XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems [3.149883354098941]
新しいフォーマットはコンパクトで、可読性が高く、パースも比較的容易である。 XCSP3は、ほとんどすべての制約を包含している。ユーザは、非常に正確な基準からインスタンスを選択するための洗練されたクエリを作成できる。
論文参考訳（メタデータ） (2016-11-10T17:00:56Z)

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