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

Strong Equivalence in Answer Set Programming with Constraints

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

要約 制約を備えた回答セットプログラミングの拡張フレームワーク内の強力な同等性の … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.4 | Strong Equivalence in Answer Set Programming with Constraints はコメントを受け付けていません

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons

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

要約 十分な十分な理由は、説明の一般的な形式を表しています。これは、対応する値に … 続きを読む →

カテゴリー: cs.LG, cs.LO | Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons はコメントを受け付けていません

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning

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

要約 大規模な言語モデル（LLMS）は、テキストトークンによって段階的な思考プロ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning はコメントを受け付けていません

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