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

HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving

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

要約 LEAN4 を使用した対話型自動定理証明用に Hunyuan 7B から微 … 続きを読む →

カテゴリー: cs.AI, cs.CL | HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving はコメントを受け付けていません

On Parallel External-Memory Bidirectional Search

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

要約 並列化および外部メモリ (PEM) 技術により、大規模な問題を解決する際の … 続きを読む →

カテゴリー: cs.AI | On Parallel External-Memory Bidirectional Search はコメントを受け付けていません

Verbosity-Aware Rationale Reduction: Effective Reduction of Redundant Rationale via Principled Criteria

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

要約 大規模言語モデル (LLM) は、広範な中間推論単位 (トークン、文など) … 続きを読む →

カテゴリー: cs.AI, cs.CL | Verbosity-Aware Rationale Reduction: Effective Reduction of Redundant Rationale via Principled Criteria はコメントを受け付けていません

SyncDiff: Synchronized Motion Diffusion for Multi-Body Human-Object Interaction Synthesis

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

要約 現実的な人間とオブジェクトのインタラクション モーションを合成することは、 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.RO | SyncDiff: Synchronized Motion Diffusion for Multi-Body Human-Object Interaction Synthesis はコメントを受け付けていません

Leveraging Large Language Models for Enhancing Autonomous Vehicle Perception

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

要約 自動運転車 (AV) は、安全なナビゲーションと意思決定の基礎となる周囲の … 続きを読む →

カテゴリー: cs.AI, cs.RO | Leveraging Large Language Models for Enhancing Autonomous Vehicle Perception はコメントを受け付けていません

Safe Multiagent Coordination via Entropic Exploration

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

要約 現実世界のマルチエージェント学習の問題の多くには、安全性に関する懸念が伴い … 続きを読む →

カテゴリー: cs.AI, cs.MA, cs.RO | Safe Multiagent Coordination via Entropic Exploration はコメントを受け付けていません

Multi-Scenario Reasoning: Unlocking Cognitive Autonomy in Humanoid Robots for Multimodal Understanding

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

要約 ヒューマノイドロボットの認知自律性を改善するために、この研究では、この分野 … 続きを読む →

カテゴリー: cs.AI, cs.RO | Multi-Scenario Reasoning: Unlocking Cognitive Autonomy in Humanoid Robots for Multimodal Understanding はコメントを受け付けていません

Multi-Agent Planning Using Visual Language Models

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

要約 大規模言語モデル (LLM) とビジュアル言語モデル (VLM) は、さま … 続きを読む →

カテゴリー: cs.AI, cs.RO | Multi-Agent Planning Using Visual Language Models はコメントを受け付けていません

Goal-Conditioned Data Augmentation for Offline Reinforcement Learning

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

要約 オフライン強化学習 (RL) により、事前に収集されたオフライン データセ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.RO | Goal-Conditioned Data Augmentation for Offline Reinforcement Learning はコメントを受け付けていません

The intrinsic motivation of reinforcement and imitation learning for sequential tasks

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

要約 発達認知ロボット工学の分野におけるこの研究は、連続タスクを含む複数のタスク … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.LG, cs.RO, I.2.6 | The intrinsic motivation of reinforcement and imitation learning for sequential tasks はコメントを受け付けていません