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

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 はコメントを受け付けていません

Dynamic Reinforcement Learning for Actors

要約 この論文で提案されている動的強化学習(動的RL)は、各瞬間にアクター(アク … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.NE | Dynamic Reinforcement Learning for Actors はコメントを受け付けていません

Prediction hubs are context-informed frequent tokens in LLMs

要約 ハブネス、少数のポイントの傾向は、他のポイントの不均衡な数の最近隣人の中に … 続きを読む

カテゴリー: cs.AI, cs.CL | Prediction hubs are context-informed frequent tokens in LLMs はコメントを受け付けていません

Do Large Language Models Reason Causally Like Us? Even Better?

要約 因果推論は、知性のコアコンポーネントです。 大規模な言語モデル(LLM)は … 続きを読む

カテゴリー: cs.AI, cs.LG | Do Large Language Models Reason Causally Like Us? Even Better? はコメントを受け付けていません

Forget the Data and Fine-Tuning! Just Fold the Network to Compress

要約 モデル折りたたみを導入します。これは、層全体で構造的に類似したニューロンを … 続きを読む

カテゴリー: cs.AI, cs.LG | Forget the Data and Fine-Tuning! Just Fold the Network to Compress はコメントを受け付けていません

Shield Synthesis for LTL Modulo Theories

要約 近年、機械学習(ML)モデルは、さまざまなドメインで顕著な成功を収めていま … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO | Shield Synthesis for LTL Modulo Theories はコメントを受け付けていません

AirRAG: Activating Intrinsic Reasoning for Retrieval Augmented Generation using Tree-based Search

要約 大規模な言語モデル(LLMS)の自律的な意思決定能力を活用することで、推論 … 続きを読む

カテゴリー: cs.AI | AirRAG: Activating Intrinsic Reasoning for Retrieval Augmented Generation using Tree-based Search はコメントを受け付けていません

A Multiagent Path Search Algorithm for Large-Scale Coalition Structure Generation

要約 連合構造生成(CSG)、つまり、エージェントのセットを連合に最適に分割して … 続きを読む

カテゴリー: 68T01, 93A16, cs.AI, cs.GT, cs.MA, F.2 | A Multiagent Path Search Algorithm for Large-Scale Coalition Structure Generation はコメントを受け付けていません

Graph Foundation Models for Recommendation: A Comprehensive Survey

要約 推奨システム(RS)は、オンライン情報の広大な広がりをナビゲートするための … 続きを読む

カテゴリー: cs.AI, cs.IR, cs.LG | Graph Foundation Models for Recommendation: A Comprehensive Survey はコメントを受け付けていません