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

NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classes

要約 複雑な推論能力は現在の LLM の最も重要な機能の 1 つであり、複雑な意 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.CL, cs.LG | NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classes はコメントを受け付けていません

Spacetime-Efficient Low-Depth Quantum State Preparation with Applications

要約 任意の量子状態を準備するための新しい決定論的方法を提案します。 私たちのプ … 続きを読む

カテゴリー: cs.CC, cs.LG, quant-ph | Spacetime-Efficient Low-Depth Quantum State Preparation with Applications はコメントを受け付けていません

Finding hardness reductions automatically using SAT solvers

要約 この記事では、完了問題、つまり部分構造を完全な構造に完成させることができる … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.DS, cs.LO, math.CO | Finding hardness reductions automatically using SAT solvers はコメントを受け付けていません

The Boundaries of Tractability in Hierarchical Task Network Planning

要約 私たちは、階層型タスク ネットワーク プランニングの文脈における 3 つの … 続きを読む

カテゴリー: cs.AI, cs.CC | The Boundaries of Tractability in Hierarchical Task Network Planning はコメントを受け付けていません

An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages

要約 条件付きプリファレンスステートメントは、組み合わせドメインに対するプリファ … 続きを読む

カテゴリー: cs.AI, cs.CC | An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages はコメントを受け付けていません

Defensive Alliances in Signed Networks

要約 (ソーシャル) ネットワークとマルチエージェント システムの分析は、人工知 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.SI | Defensive Alliances in Signed Networks はコメントを受け付けていません

Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases

要約 ゲーム理論に由来し、説明可能な AI でますます顕著になっている Shap … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.DB | Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases はコメントを受け付けていません

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

要約 充足可能性モジュロ計数 (SMC) には、記号的意思決定と統計的推論の両方 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.LO | Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees はコメントを受け付けていません

Rethinking Model-based, Policy-based, and Value-based Reinforcement Learning via the Lens of Representation Complexity

要約 強化学習 (RL) には、モデルベースの RL、ポリシーベースの RL、値 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.LG, stat.ML | Rethinking Model-based, Policy-based, and Value-based Reinforcement Learning via the Lens of Representation Complexity はコメントを受け付けていません

Quantum Learning Theory Beyond Batch Binary Classification

要約 Arunachalam と de Wolf (2018) は、実現可能かつ … 続きを読む

カテゴリー: cs.CC, cs.LG, quant-ph, stat.ML | Quantum Learning Theory Beyond Batch Binary Classification はコメントを受け付けていません