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

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues

要約 Mamba、RWKV、GLA、MLSTM、Deltanetなどの線形再発性 … 続きを読む

カテゴリー: cs.CL, cs.FL, cs.LG | コメントする

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

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

カテゴリー: cs.FL, cs.RO | コメントする

DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders

要約 線形再発性ニューラルネットワーク(線形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

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

カテゴリー: 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

要約 大規模言語モデル(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

要約 報酬機(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

要約 大規模な言語モデル(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

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

カテゴリー: 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

要約 彼らの言語能力のおかげで、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

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

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