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

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes

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

要約 サイバー物理システム（CPSS）での安全性を確保することは、特に不確実性、 … 続きを読む →

カテゴリー: cs.FL, cs.LG, cs.SY, eess.SY | Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes はコメントを受け付けていません

DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products

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

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

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products はコメントを受け付けていません

DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products

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

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

カテゴリー: cs.CL, cs.FL, cs.LG | DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products はコメントを受け付けていません

Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues

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

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

カテゴリー: cs.CL, cs.FL, cs.LG | Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues はコメントを受け付けていません

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