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

The Trembling-Hand Problem for LTLf Planning

投稿日: 2024年4月26日 作成者: jarxiv

要約 エージェントが一時的な目標を達成するために「震える手」で行動していると考え … 続きを読む →

カテゴリー: cs.FL, cs.RO | The Trembling-Hand Problem for LTLf Planning はコメントを受け付けていません

Transformers Can Represent $n$-gram Language Models

投稿日: 2024年4月24日 作成者: jarxiv

要約 既存の研究の多くは、計算の形式的なモデルを使用してその表現能力を記述するこ … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.CL, cs.FL, cs.LG | Transformers Can Represent $n$-gram Language Models はコメントを受け付けていません

Deep Policy Optimization with Temporal Logic Constraints

投稿日: 2024年4月18日 作成者: jarxiv

要約 線形時相論理 (LTL) などの時相論理は、(深層) 強化学習 (RL) … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG | Deep Policy Optimization with Temporal Logic Constraints はコメントを受け付けていません

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications

投稿日: 2024年4月17日 作成者: jarxiv

要約 特定の自律システムが複雑な仕様を満たしているかどうかを評価するテストを設計 … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications はコメントを受け付けていません

Linguistic Analysis using Paninian System of Sounds and Finite State Machines

投稿日: 2024年4月17日 作成者: jarxiv

要約 音声言語の研究は、音韻論、形態論、文法から構成されます。 言語の分析は、そ … 続きを読む →

カテゴリー: cs.CL, cs.FL | Linguistic Analysis using Paninian System of Sounds and Finite State Machines はコメントを受け付けていません

Transformers as Transducers

投稿日: 2024年4月3日 作成者: jarxiv

要約 私たちは、変換器を有限の変換器に関連付けることによって、変換器の系列間マッ … 続きを読む →

カテゴリー: cs.FL, cs.LG | Transformers as Transducers はコメントを受け付けていません

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies

投稿日: 2024年3月28日 作成者: jarxiv

要約 人間の好みは、必ずしも完全な線形順序で表されるわけではありません。比類のな … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.RO | Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies はコメントを受け付けていません

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

投稿日: 2024年3月8日 作成者: jarxiv

要約 最近の大規模言語モデル (LLM) は、数学的推論や定理証明などのさまざま … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG, cs.PL | MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data はコメントを受け付けていません

Robust MITL planning under uncertain navigation times

投稿日: 2024年3月7日 作成者: jarxiv

要約 オフィスなどの環境では、ロボットが 2 つの場所間を移動する時間は時間の経 … 続きを読む →

カテゴリー: cs.FL, cs.RO | Robust MITL planning under uncertain navigation times はコメントを受け付けていません

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length

投稿日: 2024年2月16日 作成者: jarxiv

要約 ニューラル ネットワークは、多くのタスクに対して適切な近似を提供しますが、 … 続きを読む →

カテゴリー: cs.CL, cs.FL | Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length はコメントを受け付けていません