「cs.FL」カテゴリーアーカイブ

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

投稿日: 2023年8月30日 作成者: jarxiv

要約 この論文では、任意の到達可能性と安全性特性の環境仕様の下での LTLf 合 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SY, eess.SY | LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties はコメントを受け付けていません

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

投稿日: 2023年8月30日 作成者: jarxiv

要約 私たちは、有限トレース上の線形時相論理 (LTLf) で表現された目標に向 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.RO | LTLf Best-Effort Synthesis in Nondeterministic Planning Domains はコメントを受け付けていません

A Measure-Theoretic Characterization of Tight Language Models

投稿日: 2023年8月23日 作成者: jarxiv

要約 自然言語処理の中心的なタスクである言語モデリングには、文字列全体の確率分布 … 続きを読む →

カテゴリー: cs.CL, cs.FL | A Measure-Theoretic Characterization of Tight Language Models はコメントを受け付けていません

Weakly synchronous systems with three machines are Turing powerful

投稿日: 2023年8月22日 作成者: jarxiv

要約 通信有限状態マシン (CFM) は、非同期メッセージ パッシング分散システ … 続きを読む →

カテゴリー: cs.CL, cs.FL | Weakly synchronous systems with three machines are Turing powerful はコメントを受け付けていません

The Regular Expression Inference Challenge

投稿日: 2023年8月16日 作成者: jarxiv

要約 私たちは、コード/言語モデリングとより広範な機械学習コミュニティの課題とし … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | The Regular Expression Inference Challenge はコメントを受け付けていません

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

投稿日: 2023年8月16日 作成者: jarxiv

要約 ブール満足度 (SAT) と満足度モジュロ理論 (SMT) は自動検証で広 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability はコメントを受け付けていません

G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer

投稿日: 2023年8月15日 作成者: jarxiv

要約 近年、シングルステップ逆合成予測のために、さまざまなテンプレートベースおよ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, cs.SC, q-bio.QM | G-MATT: Single-step Retrosynthesis Prediction using Molecular Grammar Tree Transformer はコメントを受け付けていません

Model Checking Time Window Temporal Logic for Hyperproperties

投稿日: 2023年8月11日 作成者: jarxiv

要約 ハイパープロパティは、トレースのセットのプロパティを表現するためにトレース … 続きを読む →

カテゴリー: cs.FL, cs.LO, cs.RO | Model Checking Time Window Temporal Logic for Hyperproperties はコメントを受け付けていません

Automaton-Based Representations of Task Knowledge from Generative Language Models

投稿日: 2023年8月11日 作成者: jarxiv

要約 タスク知識のオートマトンベースの表現は、逐次的な意思決定の問題の制御と計画 … 続きを読む →

カテゴリー: cs.CL, cs.FL | Automaton-Based Representations of Task Knowledge from Generative Language Models はコメントを受け付けていません

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

投稿日: 2023年8月9日 作成者: jarxiv

要約 この研究では、定量的反応性合成のための効率的なシンボリック アルゴリズムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.RO, cs.SC | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks はコメントを受け付けていません