cs.LO」カテゴリーアーカイブ

FLARE: Faithful Logic-Aided Reasoning and Exploration

要約 大規模言語モデル (LLM) に基づいた最新の質問応答 (QA) および推 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | コメントする

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

要約 構造方程式モデル (SEM) は、因果モデル内の変数間の因果関係を表現する … 続きを読む

カテゴリー: cs.AI, cs.LO | コメントする

Computing Approximated Fixpoints via Dampened Mann Iteration

要約 固定点はコンピュータ サイエンスのいたるところに存在し、定量的意味論や検証 … 続きを読む

カテゴリー: cs.LG, cs.LO | コメントする

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis

要約 この研究は、論理理論帰納法に関する形式推論エンジンからのフィードバックを使 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO, I.2.7 | コメントする

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback

要約 ロボットの自律性レベルの向上により、特に人間とロボットの相互作用のシナリオ … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.RO | コメントする

MARS: A neurosymbolic approach for interpretable drug discovery

要約 ニューロシンボリック (NeSy) 人工知能は、ロジックまたはルールベース … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO | コメントする

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2

要約 ロボット オペレーティング システム (ROS) は、ロボット アプリケー … 続きを読む

カテゴリー: cs.LO, cs.RO | コメントする

From Scientific Texts to Verifiable Code: Automating the Process with Transformers

要約 形式的保証のあるアルゴリズムを提案する膨大な研究文献があるにもかかわらず、 … 続きを読む

カテゴリー: cs.AI, cs.LO, cs.SE, D.2.3 | コメントする

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs

要約 テンポラル ナレッジ グラフ (TKG) を使用した質問応答は、進化する事 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO | TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs はコメントを受け付けていません

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies

要約 深層強化学習は効果的であることが示されていますが、モデルのブラックボックス … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO | Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies はコメントを受け付けていません