「F.4.1」カテゴリーアーカイブ

The Tactician’s Web of Large-Scale Formal Knowledge

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

要約 The Tactician’s Web は、機械学習、分析、証 … 続きを読む →

カテゴリー: 68T30, cs.LG, cs.LO, cs.PL, F.4.1, secondary | The Tactician’s Web of Large-Scale Formal Knowledge はコメントを受け付けていません

Short Boolean Formulas as Explanations in Practice

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

要約 単項関係に基づいたデータ モデル内の短いブール式を介して説明可能性を調査し … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, F.4.1 | Short Boolean Formulas as Explanations in Practice はコメントを受け付けていません

Towards Ordinal Data Science

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

要約 順序は、(経験的) データ内のオブジェクト間の関係を測定するための主要な手 … 続きを読む →

カテゴリー: 03G10, 06A15, 68T27, 68T30, cs.AI, cs.DM, cs.LG, F.4.1 | Towards Ordinal Data Science はコメントを受け付けていません

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360

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

要約 CAD 設計プロセスには、アセンブリを作成する際の繰り返しの手順が多数含ま … 続きを読む →

カテゴリー: cs.RO, cs.SE, F.4.1 | CLS-CAD: Synthesizing CAD Assemblies in Fusion 360 はコメントを受け付けていません

A knowledge-driven framework for synthesizing designs from modular components

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

要約 モジュール式コンポーネントから設計を作成するには、利用可能なコンポーネント … 続きを読む →

カテゴリー: cs.RO, cs.SE, F.4.1 | A knowledge-driven framework for synthesizing designs from modular components はコメントを受け付けていません

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

ATHENA: Mathematical Reasoning with Thought Expansion

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

要約 数学の文章問題を解くかどうかは、問題をどのように表現するか、つまりモデルが … 続きを読む →

カテゴリー: cs.AI, cs.CL, F.4.1 | ATHENA: Mathematical Reasoning with Thought Expansion はコメントを受け付けていません

Generative Fractional Diffusion Models

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

要約 基礎となるブラウン運動 (BM) から部分ブラウン運動 (FBM) の近似 … 続きを読む →

カテゴリー: cs.LG, F.4.1, stat.ML | Generative Fractional Diffusion Models はコメントを受け付けていません

System of Spheres-based Two Level Credibility-limited Revisions

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

要約 2 レベルの信頼性を制限した改訂は、優先順位のない改訂操作です。 2 レベ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | System of Spheres-based Two Level Credibility-limited Revisions はコメントを受け付けていません

Solving QMLTP Problems by Translation to Higher-order Logic

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

要約 この論文では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving QMLTP Problems by Translation to Higher-order Logic はコメントを受け付けていません