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

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 はコメントを受け付けていません

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad

投稿日: 2023年7月20日 作成者: jarxiv

要約 シナリオは、自動運転システムの開発、テスト、検証にとって重要な要素です。 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SE | Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad はコメントを受け付けていません

Safe Networked Robotics with Probabilistic Verification

投稿日: 2023年7月14日 作成者: jarxiv

要約 自律型ロボットは、安全な制御の決定を行うために豊富な感覚データを利用する必 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Safe Networked Robotics with Probabilistic Verification はコメントを受け付けていません

Efficient Semiring-Weighted Earley Parsing

投稿日: 2023年7月7日 作成者: jarxiv

要約 この論文は、さまざまな高速化を備えた Earley (1970) のコンテ … 続きを読む →

カテゴリー: cs.CL, cs.DS, cs.FL | Efficient Semiring-Weighted Earley Parsing はコメントを受け付けていません