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

DisCoCat for Donkey Sentences

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

要約 意味の構成分布モデルで Geach の Donkey 文を解析する方法を示 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | DisCoCat for Donkey Sentences はコメントを受け付けていません

A first-order logic characterization of safety and co-safety languages

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

要約 線形時相論理 (LTL) は最も人気のある時相論理の 1 つであり、コンピ … 続きを読む →

カテゴリー: cs.AI, cs.LO | A first-order logic characterization of safety and co-safety languages はコメントを受け付けていません

Every Mistake Counts in Assembly

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

要約 AI アシスタントの有望なユースケースの 1 つは、料理、家の修理、組み立 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Every Mistake Counts in Assembly はコメントを受け付けていません

Decidable Fragments of LTLf Modulo Theories (Extended Version)

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

要約 私たちは、有限トレース上の線形時相論理モジュロ理論 (LTLfMT) を研 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Decidable Fragments of LTLf Modulo Theories (Extended Version) はコメントを受け付けていません

On the Trade-off Between Efficiency and Precision of Neural Abstraction

投稿日: 2023年7月31日 作成者: jarxiv

要約 ニューラル抽象化は、複雑な非線形動的モデルの形式的な近似として最近導入され … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | On the Trade-off Between Efficiency and Precision of Neural Abstraction はコメントを受け付けていません

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

投稿日: 2023年7月31日 作成者: jarxiv

要約 私たちは、Coq 証明アシスタントの基礎となる構成型理論である帰納法計算 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions はコメントを受け付けていません

Med-HALT: Medical Domain Hallucination Test for Large Language Models

投稿日: 2023年7月31日 作成者: jarxiv

要約 この研究論文は、特に医療分野の文脈において、大規模言語モデル (LLM) … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, stat.ML | Med-HALT: Medical Domain Hallucination Test for Large Language Models はコメントを受け付けていません

Optimal Alignment of Temporal Knowledge Bases

投稿日: 2023年7月31日 作成者: jarxiv

要約 時間化された記述論理知識ベース (TKB) を介して時間的 CQ に応答す … 続きを読む →

カテゴリー: cs.AI, cs.LO | Optimal Alignment of Temporal Knowledge Bases はコメントを受け付けていません

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

投稿日: 2023年7月31日 作成者: jarxiv

要約 現代の半導体製造には、何百もの作業からなる複雑な生産プロセスが含まれており … 続きを読む →

カテゴリー: cs.AI, cs.LO | Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version) はコメントを受け付けていません

Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)

投稿日: 2023年7月28日 作成者: jarxiv

要約 現代の半導体製造には、何百もの作業からなる複雑な生産プロセスが含まれており … 続きを読む →

カテゴリー: cs.AI, cs.LO | Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version) はコメントを受け付けていません