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

Revisiting Differential Verification: Equivalence Verification with Confidence

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

要約 検証済みのニューラルネットワーク（NNS）が展開前に剪定された（および再訓 … 続きを読む →

カテゴリー: cs.LG, cs.LO | Revisiting Differential Verification: Equivalence Verification with Confidence はコメントを受け付けていません

What is Formal Verification without Specifications? A Survey on mining LTL Specifications

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

要約 正式な方法を使用した実質的にすべての検証手法は、設計要件を正確に説明する正 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | What is Formal Verification without Specifications? A Survey on mining LTL Specifications はコメントを受け付けていません

NLP Verification: Towards a General Methodology for Certifying Robustness

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

要約 機械学習（ML）は、自然言語処理の分野（NLP）で大成功を収めています。 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.PL | NLP Verification: Towards a General Methodology for Certifying Robustness はコメントを受け付けていません

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces

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

要約 我々は、定理証明器 Isabelle/HOL で実行される正しさの形式的証 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces はコメントを受け付けていません

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)

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

要約 私たちの懸念は、ルール本体内のアトムに線形時相論理 LTL の演算子をプレ … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) はコメントを受け付けていません

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