-
最近の投稿
- TOFFE — Temporally-binned Object Flow from Events for High-speed and Energy-Efficient Object Detection and Tracking
- ELEGNT: Expressive and Functional Movement Design for Non-anthropomorphic Robot
- Tightly Coupled SLAM with Imprecise Architectural Plans
- LatentBKI: Open-Dictionary Continuous Mapping in Visual-Language Latent Spaces with Quantifiable Uncertainty
- Interaction Dataset of Autonomous Vehicles with Traffic Lights and Signs
-
最近のコメント
表示できるコメントはありません。 cs.AI (32585) cs.CL (24637) cs.CR (2521) cs.CV (38784) cs.LG (37457) cs.RO (18976) cs.SY (2901) eess.IV (4651) eess.SY (2895) stat.ML (4943)
「cs.LO」カテゴリーアーカイブ
FLARE: Faithful Logic-Aided Reasoning and Exploration
要約 大規模言語モデル (LLM) に基づいた最新の質問応答 (QA) および推 … 続きを読む
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
要約 構造方程式モデル (SEM) は、因果モデル内の変数間の因果関係を表現する … 続きを読む
Computing Approximated Fixpoints via Dampened Mann Iteration
要約 固定点はコンピュータ サイエンスのいたるところに存在し、定量的意味論や検証 … 続きを読む
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
要約 この研究は、論理理論帰納法に関する形式推論エンジンからのフィードバックを使 … 続きを読む
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
要約 ロボットの自律性レベルの向上により、特に人間とロボットの相互作用のシナリオ … 続きを読む
MARS: A neurosymbolic approach for interpretable drug discovery
要約 ニューロシンボリック (NeSy) 人工知能は、ロジックまたはルールベース … 続きを読む
Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
要約 ロボット オペレーティング システム (ROS) は、ロボット アプリケー … 続きを読む
From Scientific Texts to Verifiable Code: Automating the Process with Transformers
要約 形式的保証のあるアルゴリズムを提案する膨大な研究文献があるにもかかわらず、 … 続きを読む
TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
要約 テンポラル ナレッジ グラフ (TKG) を使用した質問応答は、進化する事 … 続きを読む
Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
要約 深層強化学習は効果的であることが示されていますが、モデルのブラックボックス … 続きを読む