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

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

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

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

要約 Large Language Model (LLM) の最近の進歩により、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG | Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents はコメントを受け付けていません

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

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

要約 この論文では、例から構造再帰を学習するトランスフォーマーベースのモデルの機 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LO, cs.PL | Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion はコメントを受け付けていません

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

投稿日: 2024年1月15日 作成者: jarxiv

要約 時相論理仕様、特に線形時相論理 (LTL) を使用したロボット計画に関する … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications はコメントを受け付けていません

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

投稿日: 2024年1月9日 作成者: jarxiv

要約 時相論理仕様、特に線形時相論理 (LTL) を使用したロボット計画に関する … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications はコメントを受け付けていません

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis

投稿日: 2023年12月25日 作成者: jarxiv

要約 最も基本的な自然法則の多くは、偏微分方程式 (PDE) として定式化できま … 続きを読む →

カテゴリー: cs.AI, cs.CE, cs.FL, cs.NA, cs.NE, math.NA | Automating the Design of Multigrid Methods with Evolutionary Program Synthesis はコメントを受け付けていません

On The Expressivity of Recurrent Neural Cascades

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

要約 リカレント ニューラル カスケード (RNC) は、リカレント ニューロン … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.NE | On The Expressivity of Recurrent Neural Cascades はコメントを受け付けていません