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

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques

投稿日: 2025年2月6日 作成者: jarxiv

要約 正式な証明生成の課題には豊かな歴史がありますが、現代のテクニックにより、私 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques はコメントを受け付けていません

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication

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

要約 分散されたマルチロボットシステムのハイブリッドシステムの観点は、分散コンピ … 続きを読む →

カテゴリー: cs.DC, cs.LO, cs.RO | Knowledge in multi-robot systems: an interplay of dynamics, computation and communication はコメントを受け付けていません

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