cs.SC」カテゴリーアーカイブ

Towards Learning Abductive Reasoning using VSA Distributed Representations

要約 Learn-VRF に基づいて抽象推論タスクを解決するモデルである、コンテ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SC | コメントする

Solving Hard Mizar Problems with Instantiation and Strategy Invention

要約 この研究では、いくつかの ATP および AI 手法を使用して、これまで … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC | コメントする

Representing Piecewise-Linear Functions by Functions with Minimal Arity

要約 任意の連続区分線形関数 $F\colon \mathbb{R}^{n}\t … 続きを読む

カテゴリー: cs.DM, cs.LG, cs.SC | Representing Piecewise-Linear Functions by Functions with Minimal Arity はコメントを受け付けていません

ParSEL: Parameterized Shape Editing with Language

要約 自然言語から 3D アセットを編集できる機能は、3D コンテンツ作成の民主 … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.GR, cs.HC, cs.SC | ParSEL: Parameterized Shape Editing with Language はコメントを受け付けていません

ParSEL: Parameterized Shape Editing with Language

要約 自然言語から 3D アセットを編集できる機能は、3D コンテンツ作成の民主 … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.GR, cs.HC, cs.SC | ParSEL: Parameterized Shape Editing with Language はコメントを受け付けていません

Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment

要約 アクション品質評価 (AQA) は、コンピューター ビジョンを応用して人間 … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.LG, cs.SC | Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover (User Manual)

要約 SMLP: Symbolic Machine Learning Prove … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC, math.OC | SMLP: Symbolic Machine Learning Prover (User Manual) はコメントを受け付けていません

Vector-Symbolic Architecture for Event-Based Optical Flow

要約 特徴マッチングの観点から見ると、イベント カメラのオプティカル フロー推定 … 続きを読む

カテゴリー: cs.CV, cs.SC | Vector-Symbolic Architecture for Event-Based Optical Flow はコメントを受け付けていません

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks

要約 コルモゴロフ・アーノルドネットワークを使用して、フレキシブル電気流体力学ポ … 続きを読む

カテゴリー: cs.LG, cs.RO, cs.SC | Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks はコメントを受け付けていません

LLM4ED: Large Language Models for Automatic Equation Discovery

要約 方程式の発見は、データから物理法則を直接抽出することを目的としており、極め … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.SC, math-ph, math.MP, stat.AP | LLM4ED: Large Language Models for Automatic Equation Discovery はコメントを受け付けていません