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

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration

要約 SAT関連の問題の多くの手順、特に満足のいく真実の割り当ての完全な列挙を必 … 続きを読む

カテゴリー: cs.AI, cs.LO | Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration はコメントを受け付けていません

Uncertainty Quantification for LLM-Based Survey Simulations

要約 調査の質問に対する人間の反応をシミュレートし、信頼できる洞察を得るために不 … 続きを読む

カテゴリー: cs.AI, cs.LG, stat.ME | Uncertainty Quantification for LLM-Based Survey Simulations はコメントを受け付けていません

Agentic AI Process Observability: Discovering Behavioral Variability

要約 大規模な言語モデル(LLM)を活用するAIエージェントは、最新のソフトウェ … 続きを読む

カテゴリー: cs.AI | Agentic AI Process Observability: Discovering Behavioral Variability はコメントを受け付けていません

Tensorization is a powerful but underexplored tool for compression and interpretability of neural networks

要約 ニューラルネットワークをテンソレイズするには、その密な重量マトリックスの一 … 続きを読む

カテゴリー: cs.AI, cs.LG, quant-ph | Tensorization is a powerful but underexplored tool for compression and interpretability of neural networks はコメントを受け付けていません

Outcome-based Reinforcement Learning to Predict the Future

要約 検証可能な報酬(RLVR)による強化学習は、大規模な言語モデルで数学とコー … 続きを読む

カテゴリー: cs.AI, cs.LG | Outcome-based Reinforcement Learning to Predict the Future はコメントを受け付けていません

Error Optimization: Overcoming Exponential Signal Decay in Deep Predictive Coding Networks

要約 予測コーディング(PC)は、ニューラルネットワークトレーニングのためのバッ … 続きを読む

カテゴリー: cs.AI, cs.LG | Error Optimization: Overcoming Exponential Signal Decay in Deep Predictive Coding Networks はコメントを受け付けていません

StructEval: Benchmarking LLMs’ Capabilities to Generate Structural Outputs

要約 大規模な言語モデル(LLM)がソフトウェア開発ワークフローに不可欠になるに … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE | StructEval: Benchmarking LLMs’ Capabilities to Generate Structural Outputs はコメントを受け付けていません

MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents

要約 空間計画は、空間インテリジェンスの分野で重要な部分であり、空間の観点からの … 続きを読む

カテゴリー: cs.AI | MineAnyBuild: Benchmarking Spatial Planning for Open-world AI Agents はコメントを受け付けていません

On the (Non) Injectivity of Piecewise Linear Janossy Pooling

要約 マルチセットをベクトルにマッピングする関数であるマルチセット関数は、マルチ … 続きを読む

カテゴリー: cs.AI, cs.LG | On the (Non) Injectivity of Piecewise Linear Janossy Pooling はコメントを受け付けていません

Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning

要約 言語モデルの効果的な一般化は、トレーニングデータの多様性に大きく依存します … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LG | Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning はコメントを受け付けていません