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

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

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

要約 *最小限の十分な理由*一般的な説明の形式を表します – それに … 続きを読む →

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

Shield Synthesis for LTL Modulo Theories

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

要約 近年、機械学習（ML）モデルは、さまざまなドメインで顕著な成功を収めていま … 続きを読む →

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

Logical forms complement probability in understanding language model (and human) performance

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

要約 自然言語での計画のために大規模な言語モデル（LLM）を使用することに関心が … 続きを読む →

カテゴリー: cs.CL, cs.LO | Logical forms complement probability in understanding language model (and human) performance はコメントを受け付けていません

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

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

要約 この論文では、現在のAIアプリケーションのように、確率的計算プロセスの信頼 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System はコメントを受け付けていません

A Semantic Parsing Algorithm to Solve Linear Ordering Problems

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

要約 自ない推論を使用してエンティティをアレンジするためにモデルが必要とする線形 … 続きを読む →

カテゴリー: cs.CL, cs.LO | A Semantic Parsing Algorithm to Solve Linear Ordering Problems はコメントを受け付けていません

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