11月 10 2026 0 分岐で挙動が変わるループの不変条件をLLMとSMTで生成するCLOVER 投稿者: 亜美と智也のAI論文解説 編集部 CLOVERは、多相ループを「ループ分岐列」に静的分解し、LLMに実行シナリオごとのサブ不変条件を個別生成させる。複数候補を探索木として保持し、SMT検証が反例を返すと原因の分岐列だけを局所修復する。
11月 09 2026 0 ロボットVLAに短期動画と長期言語の二層メモリを組み込むMEM 投稿者: 亜美と智也のAI論文解説 編集部 MEMは、ロボットVLAの記憶を短期の動画ベース記憶と長期の言語ベース記憶に分ける手法です。動画エンコーダで直近の密な観測を圧縮し、高レベル方針が意味的な出来事を言語メモリとして更新します。最大15分の長期的タスクや自己遮蔽、失敗からの文脈内適応を狙います。
11月 09 2026 0 中央集約なしでRAG検索を分散化するZeroRAGの意味的ピアルーティング 投稿者: 亜美と智也のAI論文解説 編集部 ZeroRAGは、文書を所有者のピアに残したまま、近隣の内容要約と最近のクエリ履歴だけを使って意味的に近いピアへクエリを転送する分散RAG向け検索層です。
11月 09 2026 0 ロボット操作の動画予測と行動生成を統合する世界モデルτ0-WM 投稿者: 亜美と智也のAI論文解説 編集部 τ0-WMは、ロボット操作向けに動画予測と連続行動生成を共有の動画拡散バックボーンで統合した世界モデルです。VAMが将来の視覚潜在と行動チャンクを予測し、ACVSが候補行動の多視点未来とタスク進捗を評価します。
11月 09 2026 0 テキストと音声の自動キーフレーズ抽出をLLMまで整理するレビュー 投稿者: 亜美と智也のAI論文解説 編集部 本論文は、テキストと音声を対象に、自動キーフレーズ抽出とアノテーションの理論・手法・課題を整理したレビューです。統計的手法から機械学習、LLM、end-to-end音声処理への流れを示し、低資源言語、マルチモーダル融合、生成手法の評価が今後の課題だと述べています。
11月 09 2026 0 移動マニピュレーションでロボットなし実演を可能にするSuperSuit 投稿者: 亜美と智也のAI論文解説 編集部 SuperSuitは、装着型外骨格とトラッカで車輪付き両腕ロボットを遠隔操作し、同じ装着具でロボットなしの実演も記録する。両モードは同一の22次元コマンドを出すため、ロボット実演の少量シードとロボットなし実演を同じ模倣学習データとして扱える。
11月 09 2026 0 SMART: 科学クレーム検証を改善する状態ベース多エージェント推論 投稿者: 亜美と智也のAI論文解説 編集部 SMARTは、科学的主張の検証で、主張中の実体ごとに専門エージェントを割り当て、対立する前提ペアを生成し、真偽検証とスタンス分類を経て、支持・反対の前提から判定と根拠を出します。
11月 09 2026 0 柔らかい面に物を置く3D配置を、接触シミュレーションで現実的にするDCAP 投稿者: 亜美と智也のAI論文解説 編集部 既存の言語誘導3D配置は最終6DoF姿勢を直接予測し、柔らかい支持面や接触を無視しがちです。DCAPは、プロンプト・シーン・物体メッシュから支持面・スケール・粗い向き・材質役割・粒子を決めた「リリース状態」を作り、剛体–変形シミュレータで重力・摩擦下に落ち着かせて最終姿勢と診断・可否を返します。
11月 09 2026 0 ヒューマノイドの多方向悪路歩行を多視点深度で安定化する二段階学習 投稿者: 亜美と智也のAI論文解説 編集部 RPLは、地形別の専門家を特権高さマップで訓練し、前後カメラの深度入力を用いる単一Transformer方策へ蒸留する二段階手法です。速度指令に応じた深度特徴スケーリング（DFSV）とランダム側面マスク（RSM）で、非対称な多視点入力や未見の地形幅に対応します。
11月 09 2026 0 実務データ合成で4BのAgent-R2が一部大規模モデルを上回る 投稿者: 亜美と智也のAI論文解説 編集部 Agent-R2は、実務の職種シード・Webコーパス・実在ファイルからワークフローと指示・細粒度ルーブリックを合成し、4k件で4BモデルをSFTとルーブリックRLで訓練する枠組みです。