-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「cs.FL」カテゴリーアーカイブ
Learning Algorithms in the Limit
要約 このホワイトペーパーでは、\ textIT {計算観測}および\ text … 続きを読む
Language Models over Canonical Byte-Pair Encodings
要約 現代の言語モデルは、バイトペアエンコーディングなどの決定論的トークン剤を介 … 続きを読む
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
要約 線形時間論的論理（LTL）などの時間的論理仕様を使用したロボット計画の研究 … 続きを読む
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
要約 ニューラルネットワークベースのポリシーは、多くのロボットアプリケーションで … 続きを読む
Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
要約 多くの好みの誘発アルゴリズムは、異なる属性を持つ命題論理式またはアイテムに … 続きを読む
HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
要約 正式な方法は、厳格な数学的証拠を通じて重要なシステムの信頼性を検証するため … 続きを読む
Lost in Transmission: When and Why LLMs Fail to Reason Globally
要約 多くの成功にもかかわらず、トランスベースの大手言語モデル（LLMS）は、入 … 続きを読む
NoPE: The Counting Power of Transformers with No Positional Encodings
要約 位置エンコーディング（PES）は、変圧器の表現力を確保するために不可欠であ … 続きを読む