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

FLARE: Faithful Logic-Aided Reasoning and Exploration

投稿日: 2025年1月22日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | FLARE: Faithful Logic-Aided Reasoning and Exploration はコメントを受け付けていません

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

投稿日: 2025年1月20日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.LO | Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models はコメントを受け付けていません

Computing Approximated Fixpoints via Dampened Mann Iteration

投稿日: 2025年1月16日 作成者: jarxiv

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

カテゴリー: cs.LG, cs.LO | Computing Approximated Fixpoints via Dampened Mann Iteration はコメントを受け付けていません

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

投稿日: 2025年1月15日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.CL, cs.LO, I.2.7 | Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis はコメントを受け付けていません

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

投稿日: 2025年1月14日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.LO, cs.RO | Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback はコメントを受け付けていません

MARS: A neurosymbolic approach for interpretable drug discovery

投稿日: 2025年1月13日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.LG, cs.LO | MARS: A neurosymbolic approach for interpretable drug discovery はコメントを受け付けていません

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

投稿日: 2025年1月10日 作成者: jarxiv

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

カテゴリー: cs.LO, cs.RO | Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2 はコメントを受け付けていません

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

投稿日: 2025年1月10日 作成者: jarxiv

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

カテゴリー: cs.AI, cs.LO, cs.SE, D.2.3 | From Scientific Texts to Verifiable Code: Automating the Process with Transformers はコメントを受け付けていません

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

投稿日: 2025年1月9日 作成者: jarxiv

要約 テンポラル ナレッジ グラフ (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

投稿日: 2025年1月8日 作成者: jarxiv

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

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