月別アーカイブ: 2025年2月

Forest-of-Thought: Scaling Test-Time Compute for Enhancing LLM Reasoning

要約 大規模な言語モデル(LLM)は、さまざまな言語タスクにわたって顕著な能力を … 続きを読む

カテゴリー: cs.AI, cs.CL | Forest-of-Thought: Scaling Test-Time Compute for Enhancing LLM Reasoning はコメントを受け付けていません

Technical Risks of (Lethal) Autonomous Weapons Systems

要約 (致命的な)自律兵器システムの自律性と適応性、(L)AWSが要するに、前例 … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.SY, eess.SY | Technical Risks of (Lethal) Autonomous Weapons Systems はコメントを受け付けていません

STMA: A Spatio-Temporal Memory Agent for Long-Horizon Embodied Task Planning

要約 具体化されたインテリジェンスの重要な目的は、エージェントが堅牢な意思決定と … 続きを読む

カテゴリー: cs.AI | STMA: A Spatio-Temporal Memory Agent for Long-Horizon Embodied Task Planning はコメントを受け付けていません

From Markov to Laplace: How Mamba In-Context Learns Markov Chains

要約 トランスベースの言語モデルはこれまでAI革命を推進してきましたが、その計算 … 続きを読む

カテゴリー: cs.AI, cs.IT, cs.LG, math.IT | From Markov to Laplace: How Mamba In-Context Learns Markov Chains はコメントを受け付けていません

OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code

要約 オープンエンドおよびAIの生成アルゴリズムは、ますます複雑なタスクを無期限 … 続きを読む

カテゴリー: cs.AI | OMNI-EPIC: Open-endedness via Models of human Notions of Interestingness with Environments Programmed in Code はコメントを受け付けていません

RoboMIND: Benchmark on Multi-embodiment Intelligence Normative Data for Robot Manipulation

要約 このホワイトペーパーでは、96のオブジェクトクラスを含む479の多様なタス … 続きを読む

カテゴリー: cs.AI, cs.RO | RoboMIND: Benchmark on Multi-embodiment Intelligence Normative Data for Robot Manipulation はコメントを受け付けていません

Merging public elementary schools to reduce racial/ethnic segregation

要約 多様な学校は、さまざまな人種/民族、社会経済、およびその他の背景の生徒間の … 続きを読む

カテゴリー: cs.AI, cs.CY | Merging public elementary schools to reduce racial/ethnic segregation はコメントを受け付けていません

Is Deep Learning finally better than Decision Trees on Tabular Data?

要約 表形式データは、多くの実際のアプリケーションでの汎用性と使いやすさのために … 続きを読む

カテゴリー: cs.AI, cs.LG | Is Deep Learning finally better than Decision Trees on Tabular Data? はコメントを受け付けていません

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

要約 数学的問題のための自動化された正式な証明生成で最先端の(SOTA)パフォー … 続きを読む

カテゴリー: cs.AI, cs.LG | Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving はコメントを受け付けていません

MathConstruct: Challenging LLM Reasoning with Constructive Proofs

要約 大規模な言語モデル(LLMS)は数学の印象的なパフォーマンスを示しています … 続きを読む

カテゴリー: cs.AI | MathConstruct: Challenging LLM Reasoning with Constructive Proofs はコメントを受け付けていません