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

Measurability in the Fundamental Theorem of Statistical Learning

投稿日: 2025年4月29日 作成者: jarxiv

要約 統計学習の基本的な定理は、VCの次元が有限である場合にのみ、仮説スペースは … 続きを読む →

カテゴリー: (Primary), 03C64, 03C98, 12J15, 28A20, 68T27, cs.LG, cs.LO, math.LO, math.PR, secondary, stat.ML | Measurability in the Fundamental Theorem of Statistical Learning はコメントを受け付けていません

Probabilistic and Causal Satisfiability: Constraining the Model

投稿日: 2025年4月29日 作成者: jarxiv

要約 確率的および因果的推論における満足度問題の複雑さを研究します。 ランダム変 … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | Probabilistic and Causal Satisfiability: Constraining the Model はコメントを受け付けていません

Approximate matrices of systems of max-min fuzzy relational equations

投稿日: 2025年4月23日 作成者: jarxiv

要約 この記事では、一貫性を実現するためにシステムを管理するマトリックスを最小限 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Approximate matrices of systems of max-min fuzzy relational equations はコメントを受け付けていません

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision

投稿日: 2025年4月23日 作成者: jarxiv

要約 ビデオから時空間シーングラフ（STSG）を学習するための監視されたアプロー … 続きを読む →

カテゴリー: cs.CV, cs.LG, cs.LO | LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision はコメントを受け付けていません

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation

投稿日: 2025年4月18日 作成者: jarxiv

要約 深い学習と象徴的な論理推論を組み合わせることは、両方の分野の成功を活用する … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation はコメントを受け付けていません

Proof-Carrying Neuro-Symbolic Code

投稿日: 2025年4月17日 作成者: jarxiv

要約 この招待された論文は、「神経系コード」の「プルーフを運ぶ神経系コード」の概 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, I.2.0 | Proof-Carrying Neuro-Symbolic Code はコメントを受け付けていません

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach

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

要約 この記事では、ニューラルネットワークによって実行される低レベルの知覚タスク … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | $Π$-NeSy: A Possibilistic Neuro-Symbolic Approach はコメントを受け付けていません

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

投稿日: 2025年4月7日 作成者: jarxiv

要約 シミュレータで設計されたサイバーフィジカルシステムは、多くの場合、複数の相 … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SY, eess.SY | Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications はコメントを受け付けていません

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning

投稿日: 2025年4月4日 作成者: jarxiv

要約 近年のディープラーニングモデルと技術の進歩により、多様なタスクやモダリティ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Reasoning Inconsistencies and How to Mitigate Them in Deep Learning はコメントを受け付けていません

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

投稿日: 2025年4月4日 作成者: jarxiv

要約 我々は、ディープニューラルネットワークを用いた強化学習において、記号的な制 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.NE, I.2.6 | SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning はコメントを受け付けていません