-
最近の投稿
- 3D Water Quality Mapping using Invariant Extended Kalman Filtering for Underwater Robot Localization
- Hybrid Visual Servoing of Tendon-driven Continuum Robots
- Embodying Control in Soft Multistable Grippers from morphofunctional co-design
- View-Invariant Policy Learning via Zero-Shot Novel View Synthesis
- ModSkill: Physical Character Skill Modularization
-
最近のコメント
表示できるコメントはありません。 cs.AI (34028) cs.CL (25726) cs.CR (2616) cs.CV (39965) cs.LG (39031) cs.RO (19850) cs.SY (3019) eess.IV (4757) eess.SY (3013) stat.ML (5150)
「cs.FL」カテゴリーアーカイブ
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions
要約 彼らの言語能力のおかげで、LLMSは、オートフォーマル化を通じて、非公式の … 続きを読む
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
要約 ロボットエージェントの自然言語（NL）コマンドの理解と実行を強化する大規模 … 続きを読む
Adaptive Bi-Level Multi-Robot Task Allocation and Learning under Uncertainty with Temporal Logic Constraints
要約 この作業は、未知のロボット遷移モデルの下でのマルチロボット調整の問題に対処 … 続きを読む
DeltaProduct: Increasing the Expressivity of DeltaNet Through Products of Householders
要約 線形再発性ニューラルネットワーク（線形RNN）は、シーケンスモデリングのた … 続きを読む
What is Formal Verification without Specifications? A Survey on mining LTL Specifications
要約 正式な方法を使用した実質的にすべての検証手法は、設計要件を正確に説明する正 … 続きを読む
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning
要約 最新言語モデル (LM) のパフォーマンスは、思考連鎖 (CoT) 推論、 … 続きを読む
Temporal Logic Guided Safe Navigation for Autonomous Vehicles
要約 自動運転車（AVS）と地上ロボットの安全検証は、不確実な環境を考慮して信頼 … 続きを読む
Reward Machines for Deep RL in Noisy and Uncertain Environments
要約 報酬マシンは、命令、安全制約、その他の時間的に拡張された報酬に値する動作を … 続きを読む
Tokenisation is NP-Complete
要約 この研究では、語彙を直接見つけるか (直接トークン化)、または一連のマージ … 続きを読む
Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues
要約 Mamba、RWKV、GLA、mLSTM、DeltaNet などの線形リカ … 続きを読む