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

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow

投稿日: 2025年3月17日 作成者: jarxiv

要約 このペーパーでは、「論理ネットワークフロー」という名前の最適化ベースのタス … 続きを読む →

カテゴリー: cs.FL, cs.RO | Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow はコメントを受け付けていません

DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders

投稿日: 2025年3月10日 作成者: jarxiv

要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders はコメントを受け付けていません

Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications

投稿日: 2025年3月5日 作成者: jarxiv

要約 衝突回避やゴールリーチなどの単純な目的を備えたモーション計画は、最新のプラ … 続きを読む →

カテゴリー: cs.FL, cs.RO, cs.SY, eess.SY | Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications はコメントを受け付けていません

InductionBench: LLMs Fail in the Simplest Complexity Class

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

要約 大規模言語モデル(LLM)は推論において顕著な改善を見せており、多くの既存 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG | InductionBench: LLMs Fail in the Simplest Complexity Class はコメントを受け付けていません

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

投稿日: 2025年3月3日 作成者: jarxiv

要約 報酬機（RMS）は、有限状態マシンを介して補強学習（RL）における非マルコ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SC | FORM: Learning Expressive and Transferable First-Order Logic Reward Machines はコメントを受け付けていません

InductionBench: LLMs Fail in the Simplest Complexity Class

投稿日: 2025年2月27日 作成者: jarxiv

要約 大規模な言語モデル（LLM）は推論の顕著な改善を示しており、多くの既存のベ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.LG | InductionBench: LLMs Fail in the Simplest Complexity Class はコメントを受け付けていません

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies

投稿日: 2025年2月26日 作成者: jarxiv

要約 マルコフの決定プロセスにおける多次元ペイオフ関数を検討し、特定の予想ペイオ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, math.PR | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies はコメントを受け付けていません

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

投稿日: 2025年2月18日 作成者: jarxiv

要約 彼らの言語能力のおかげで、LLMSは、オートフォーマル化を通じて、非公式の … 続きを読む →

カテゴリー: cs.CL, cs.FL | Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions はコメントを受け付けていません

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models

投稿日: 2025年2月17日 作成者: jarxiv

要約 ロボットエージェントの自然言語（NL）コマンドの理解と実行を強化する大規模 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.FL, cs.RO | SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models はコメントを受け付けていません

Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints

投稿日: 2025年2月17日 作成者: jarxiv

要約 この作業は、未知のロボット遷移モデルの下でのマルチロボット調整の問題に対処 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.RO | Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints はコメントを受け付けていません