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

Probabilistic Variational Causal Approach in Observational Studies

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

要約 この論文では、根本的な問題との関連性に基づいて、観察研究におけるイベントの … 続きを読む →

カテゴリー: 26A45, 6008, 68T20, 68T27, 68T37, 68U99, cs.AI, cs.LO, G.3 | Probabilistic Variational Causal Approach in Observational Studies はコメントを受け付けていません

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

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

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level はコメントを受け付けていません

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies

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

要約 マルコフの決定プロセスにおける多次元ペイオフ関数を検討し、特定の予想ペイオ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, math.PR | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies はコメントを受け付けていません

Large Language Models for Interpretable Mental Health Diagnosis

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

要約 大規模な言語モデル（LLMS）と制約ロジックプログラミング（CLP）の強み … 続きを読む →

カテゴリー: cs.AI, cs.LO | Large Language Models for Interpretable Mental Health Diagnosis はコメントを受け付けていません

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

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

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

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

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