-
最近の投稿
- Learning Transferable Friction Models and LuGre Identification via Physics Informed Neural Networks
- Unified World Models: Coupling Video and Action Diffusion for Pretraining on Large Robotic Datasets
- Robust Visual Servoing under Human Supervision for Assembly Tasks
- Practical Insights on Grasp Strategies for Mobile Manipulation in the Wild
- UniPhys: Unified Planner and Controller with Diffusion for Flexible Physics-Based Character Control
-
最近のコメント
表示できるコメントはありません。 cs.AI (36765) cs.CL (27832) cs.CV (42568) cs.HC (2808) cs.LG (41724) cs.RO (21762) cs.SY (3312) eess.IV (4970) eess.SY (3304) stat.ML (5460)
「cs.FL」カテゴリーアーカイブ
STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
要約 信号時間論的論理（STL）は、動的システムでさまざまな時間的特性を指定する … 続きを読む
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
要約 サイバー物理システム（CPSS）での安全性を確保することは、特に不確実性、 … 続きを読む
DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
DeltaProduct: Improving State-Tracking in Linear RNNs via Householder Products
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues
要約 Mamba、RWKV、GLA、MLSTM、Deltanetなどの線形再発性 … 続きを読む
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
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications
要約 衝突回避やゴールリーチなどの単純な目的を備えたモーション計画は、最新のプラ … 続きを読む
InductionBench: LLMs Fail in the Simplest Complexity Class
要約 大規模言語モデル(LLM)は推論において顕著な改善を見せており、多くの既存 … 続きを読む