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

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 はコメントを受け付けていません

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction

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

要約 この論文は、明確に定義されたランダム性とファジー性からそれぞれ確率論 (シ … 続きを読む →

カテゴリー: 03B48, 03B52, 60A05, 68T07, cs.AI, cs.LO, math.PR | The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction はコメントを受け付けていません

Towards Projected and Incremental Pseudo-Boolean Model Counting

投稿日: 2024年12月23日 作成者: jarxiv

要約 モデルのカウントは、通常論理積正規形 (CNF) で行われる論理式への満足 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Towards Projected and Incremental Pseudo-Boolean Model Counting はコメントを受け付けていません

Formal Mathematical Reasoning: A New Frontier in AI

投稿日: 2024年12月23日 作成者: jarxiv

要約 AI for Mathematics (AI4Math) は、知的に興味深 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Formal Mathematical Reasoning: A New Frontier in AI はコメントを受け付けていません

Probabilistic Strategy Logic with Degrees of Observability

投稿日: 2024年12月23日 作成者: jarxiv

要約 不完全な情報の下でエージェントの戦略的能力について推論することについては、 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Probabilistic Strategy Logic with Degrees of Observability はコメントを受け付けていません

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

投稿日: 2024年12月20日 作成者: jarxiv

要約 ブール回路を操作するためのオープンソース ツールを紹介します。 充足可能性 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis はコメントを受け付けていません