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

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

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

要約 一見自明のタスクとして、問題解決は科学と工学の重要な要素でした。 ただし、 … 続きを読む →

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

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems

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

要約 学習対応の計画および制御アルゴリズムはますます一般的になっていますが、パフ … 続きを読む →

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

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

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

要約 Reachable Set Computationは、制御システムを分析す … 続きを読む →

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

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

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

要約 2019年の先駆的な研究において、Barcel’oと共著者は、 … 続きを読む →

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

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

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

要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む →

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

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 | コメントする

Probabilistic and Causal Satisfiability: Constraining the Model

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

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

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

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