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

Formally Verified Approximate Policy Iteration

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

要約 対話型定理証明器 Isabelle/HOL を使用して、因数分解マルコフ決 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Formally Verified Approximate Policy Iteration はコメントを受け付けていません

Shield Synthesis for LTL Modulo Theories

投稿日: 2024年6月7日 作成者: jarxiv

要約 近年、機械学習 (ML) モデルはさまざまな分野で目覚ましい成功を収めてい … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO | Shield Synthesis for LTL Modulo Theories はコメントを受け付けていません

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives

投稿日: 2024年6月6日 作成者: jarxiv

要約 部分的に観察可能なマルコフ決定プロセス (POMDP) は、移行および観察 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO, cs.SY, eess.SY | Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives はコメントを受け付けていません

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

投稿日: 2024年6月5日 作成者: jarxiv

要約 Constrained Horn Clauses (CHC) を解決するこ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL | Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning はコメントを受け付けていません

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba

投稿日: 2024年6月3日 作成者: jarxiv

要約 時間論理は、時間の経過とともに進化する命題を表現し推論するためのフレームワ … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.LO | Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba はコメントを受け付けていません

Autoformalizing Euclidean Geometry

投稿日: 2024年5月28日 作成者: jarxiv

要約 自動形式化には、非形式的な数学を機械検証可能な形式的な定理や証明に自動的に … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, stat.ML | Autoformalizing Euclidean Geometry はコメントを受け付けていません

Computational Complexity of Preferred Subset Repairs on Data-Graphs

投稿日: 2024年5月28日 作成者: jarxiv

要約 優先順位は、実践的な推論において極めて重要な要素であり、特に、追求する可能 … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | Computational Complexity of Preferred Subset Repairs on Data-Graphs はコメントを受け付けていません

Bisimulation Learning

投稿日: 2024年5月27日 作成者: jarxiv

要約 非常に大きく、場合によっては無限の状態空間を持つ状態遷移システムの有限バイ … 続きを読む →

カテゴリー: cs.LG, cs.LO | Bisimulation Learning はコメントを受け付けていません

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

投稿日: 2024年5月27日 作成者: jarxiv

要約 大規模言語モデル (LLM) は有用なコードを生成できますが、多くの場合、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SE | VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search はコメントを受け付けていません

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving

投稿日: 2024年5月24日 作成者: jarxiv

要約 自動運転車では、軌道計画において安全性、効率性、ユーザーの好みの間の微妙な … 続きを読む →

カテゴリー: cs.LO, cs.RO | Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving はコメントを受け付けていません