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

Solving Epistemic Logic Programs using Generate-and-Test with Propagation

投稿日: 2024年10月30日 作成者: jarxiv

要約 この論文では、さまざまなジェネレーターおよびテスター プログラムでインスタ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Solving Epistemic Logic Programs using Generate-and-Test with Propagation はコメントを受け付けていません

CoqPilot, a plugin for LLM-based generation of proofs

投稿日: 2024年10月28日 作成者: jarxiv

要約 Coq 証明の作成を自動化するために設計された VS Code 拡張機能で … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | CoqPilot, a plugin for LLM-based generation of proofs はコメントを受け付けていません

Provably Safe Neural Network Controllers via Differential Dynamic Logic

投稿日: 2024年10月25日 作成者: jarxiv

要約 ニューラル ネットワーク (NN) はサイバーフィジカル システムの自律コ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SY, eess.SY | Provably Safe Neural Network Controllers via Differential Dynamic Logic はコメントを受け付けていません

From Blind Solvers to Logical Thinkers: Benchmarking LLMs’ Logical Integrity on Faulty Mathematical Problems

投稿日: 2024年10月25日 作成者: jarxiv

要約 数学の問題を考えてみましょう。「リリーは昨日親友からクッキーを 3 枚受け … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | From Blind Solvers to Logical Thinkers: Benchmarking LLMs’ Logical Integrity on Faulty Mathematical Problems はコメントを受け付けていません

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning

投稿日: 2024年10月24日 作成者: jarxiv

要約 大規模言語モデル (LLM) は自然言語処理に革命をもたらしましたが、特に … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.NE | Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning はコメントを受け付けていません

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain

投稿日: 2024年10月24日 作成者: jarxiv

要約 この論文では、因子引数の観点からベイジアン ネットワーク推論の自然言語説明 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain はコメントを受け付けていません

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence

投稿日: 2024年10月23日 作成者: jarxiv

要約 私たちは、言語モデルで交換可能なトークンを学習して、新しいトークンに一般化 … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.LO | Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence はコメントを受け付けていません

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies

投稿日: 2024年10月21日 作成者: jarxiv

要約 人間の好みは、必ずしも完全な線形順序で表されるわけではありません。比類のな … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.RO | Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies はコメントを受け付けていません

Generalization-baed similarity

投稿日: 2024年10月18日 作成者: jarxiv

要約 一見遠くに見える物体の類似点を検出し利用することは、間違いなく人間の重要な … 続きを読む →

カテゴリー: cs.AI, cs.LO | Generalization-baed similarity はコメントを受け付けていません

Autonomous Vehicles Path Planning under Temporal Logic Specifications

投稿日: 2024年10月11日 作成者: jarxiv

要約 経路計画は自動運転の重要な要素です。 グローバル プランナーが高レベルの計 … 続きを読む →

カテゴリー: cs.LO, cs.RO | Autonomous Vehicles Path Planning under Temporal Logic Specifications はコメントを受け付けていません