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

Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes

投稿日: 2023年3月9日 作成者: jarxiv

要約 対話型定理証明器 Isabelle/HOL でマルコフ決定過程 (MDP) … 続きを読む →

カテゴリー: cs.AI, cs.LO | Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes はコメントを受け付けていません

Toward Certified Robustness Against Real-World Distribution Shifts

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

要約 我々は、ディープニューラルネットワークの現実の分布の変化に対する頑健性を証 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Toward Certified Robustness Against Real-World Distribution Shifts はコメントを受け付けていません

Learning Permutation-Invariant Embeddings for Description Logic Concepts

投稿日: 2023年3月6日 作成者: jarxiv

要約 概念学習は、背景知識と入力例から記述論理の概念を学習するものである。目標は … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning Permutation-Invariant Embeddings for Description Logic Concepts はコメントを受け付けていません

Eventual Discounting Temporal Logic Counterfactual Experience Replay

投稿日: 2023年3月6日 作成者: jarxiv

要約 線形時間論理(LTL)は、スカラー報酬関数で記述することが困難な政策最適化 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO, cs.SY, eess.SY | Eventual Discounting Temporal Logic Counterfactual Experience Replay はコメントを受け付けていません

Learning Interpretable Temporal Properties from Positive Examples Only

投稿日: 2023年3月3日 作成者: jarxiv

要約 人間が解釈可能なモデルを使用して、ブラック ボックス システムの時間的挙動 … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.6 | Learning Interpretable Temporal Properties from Positive Examples Only はコメントを受け付けていません

Boolean proportions

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

要約 著者は最近、普遍代数の一般的な設定の中で類推比率の抽象的な代数フレームワー … 続きを読む →

カテゴリー: cs.AI, cs.DM, cs.LO | Boolean proportions はコメントを受け付けていません

Towards Reliable Neural Specifications

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

要約 信頼できる仕様を持つことは、AI システムの検証可能な正確性、堅牢性、およ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SE | Towards Reliable Neural Specifications はコメントを受け付けていません

Forward LTLf Synthesis: DPLL At Work

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

要約 この論文では、以前のアプローチのいくつかの制限を克服する、有限トレース ( … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Forward LTLf Synthesis: DPLL At Work はコメントを受け付けていません

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

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

要約 学部レベルの数学の自動形式化と形式的証明のベンチマークである ProofN … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics はコメントを受け付けていません

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

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

要約 この論文では、SPINDLE について説明します。SPINDLE は、生の … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention はコメントを受け付けていません