-
最近の投稿
- Learning to Drive Anywhere with Model-Based Reannotation11
- KineSoft: Learning Proprioceptive Manipulation Policies with Soft Robot Hands
- CityNavAgent: Aerial Vision-and-Language Navigation with Hierarchical Semantic Planning and Global Memory
- Closing the Loop: Motion Prediction Models beyond Open-Loop Benchmarks
- Adaptive Stress Testing Black-Box LLM Planners
-
最近のコメント
表示できるコメントはありません。 cs.AI (37890) cs.CL (28643) cs.CV (43507) cs.HC (2900) cs.LG (42826) cs.RO (22521) cs.SY (3457) eess.IV (5045) eess.SY (3449) stat.ML (5583)
「cs.LO」カテゴリーアーカイブ
Generalization-baed similarity
要約 一見遠くに見える物体の類似点を検出し利用することは、間違いなく人間の重要な … 続きを読む
Autonomous Vehicles Path Planning under Temporal Logic Specifications
要約 経路計画は自動運転の重要な要素です。 グローバル プランナーが高レベルの計 … 続きを読む
A Multimodal Framework for Deepfake Detection
要約 ディープフェイク技術の急速な進歩は、デジタルメディアの完全性に重大な脅威を … 続きを読む
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
要約 ChatGPT や GPT-4 などの大規模言語モデル (LLM) の論理 … 続きを読む
Decidability of Querying First-Order Theories via Countermodels of Finite Width
要約 私たちは、構造的に単純で、特定の種類の幅の尺度 (一般的な例としてツリー幅 … 続きを読む
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
要約 セマンティック Web の重要性が高まるにつれて、記述ロジックのナレッジ … 続きを読む
The Transformation Logics
要約 私たちは、表現力と複雑さの間のトレードオフのバランスを細かく取るように設計 … 続きを読む
What Formal Languages Can Transformers Express? A Survey
要約 自然言語処理においてトランスフォーマーが注目を集めるようになり、一部の研究 … 続きを読む
Temporal Ensemble Logic
要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む