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

Finding hardness reductions automatically using SAT solvers

投稿日: 2024年2月12日 作成者: jarxiv

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

カテゴリー: 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

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

要約 私たちは、階層型タスク ネットワーク プランニングの文脈における 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

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

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

カテゴリー: 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

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

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

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

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

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

要約 ゲーム理論に由来し、説明可能な 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

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

要約 充足可能性モジュロ計数 (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

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

要約 強化学習 (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

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

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

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

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

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

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

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

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

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

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

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