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

Verification of Locally Tight Programs

投稿日: 2023年12月15日 作成者: jarxiv

要約 プログラムの完成とは、論理プログラムの言語から一次理論の言語への翻訳です。 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Verification of Locally Tight Programs はコメントを受け付けていません

A Language-Agent Approach to Formal Theorem-Proving

投稿日: 2023年12月14日 作成者: jarxiv

要約 外部環境と対話するためにコンテキスト内学習が可能な大規模言語モデル (LL … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL | A Language-Agent Approach to Formal Theorem-Proving はコメントを受け付けていません

Generalization-based similarity

投稿日: 2023年12月13日 作成者: jarxiv

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

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

Extending Answer Set Programming with Rational Numbers

投稿日: 2023年12月8日 作成者: jarxiv

要約 Answer Set Programming (ASP) は、複雑な計算問 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, cs.SE, I.2.4 | Extending Answer Set Programming with Rational Numbers はコメントを受け付けていません

Llemma: An Open Language Model For Mathematics

投稿日: 2023年12月4日 作成者: jarxiv

要約 数学の大規模言語モデルLlemmaを紹介する。科学論文、数学を含むウェブデ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Llemma: An Open Language Model For Mathematics はコメントを受け付けていません

Towards Transparency in Coreference Resolution: A Quantum-Inspired Approach

投稿日: 2023年12月4日 作成者: jarxiv

要約 文法構造に導かれて単語が組み合わさって文が形成され、談話構造に導かれて文が … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Towards Transparency in Coreference Resolution: A Quantum-Inspired Approach はコメントを受け付けていません

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

投稿日: 2023年11月29日 作成者: jarxiv

要約 私たちは、人間が理解できる方法で制約満足問題 (CSP) の解決策を段階的 … 続きを読む →

カテゴリー: 68T27, cs.AI, cs.LO, F.4.1 | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples) はコメントを受け付けていません

CNL2ASP: converting controlled natural language sentences into ASP

投稿日: 2023年11月20日 作成者: jarxiv

要約 Answer Set Programming (ASP) は、難しい組み合 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | CNL2ASP: converting controlled natural language sentences into ASP はコメントを受け付けていません

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

投稿日: 2023年11月17日 作成者: jarxiv

要約 シミュレーターで設計されたサイバーフィジカル システム (CPS) は、現 … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SY, eess.SY | Robust Conformal Prediction for STL Runtime Verification under Distribution Shift はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年11月17日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません