11月 04 2026 0 CUDAカーネル最適化を質問で方向づける手法KERNELSEEK 投稿者: 亜美と智也のAI論文解説 編集部 KERNELSEEKは、CUDAカーネル最適化でツールや知識を増やすのではなく、停滞・限界主張・完了主張などの局面で短い質問を与え、検証可能なゴールの下で汎用コーディングエージェントを動かす。
11月 04 2026 0 コーディングAIの「成功なのに有害」を実行テストで測るベンチマーク 投稿者: 亜美と智也のAI論文解説 編集部 LLMコーディングエージェントが、依頼自体は完了しつつ無関係なファイル削除や権限弱体化などの意図しない害を起こす『有害成功』を、実行可能テストで測るVeriHarm-Benchの提案。既存のタスク成功率だけでは危険を見落とす。
11月 04 2026 0 VLMの衝突接地を測るTouchSafeBench：ロボット安全監視の限界 投稿者: 亜美と智也のAI論文解説 編集部 TouchSafeBenchは、ロボットと人・環境の接触や接触直前リスクをVLMが視覚情報から正しく推論できるかを測る、Habitat 3.0上の物理接地ベンチマークです。2,940エピソードで、現在の安全状態分類と衝突事前警告の2タスクを評価します。
11月 04 2026 0 RLVRのOOD推論崩れを逆問題で可視化する戦略分析と共訓練 投稿者: 亜美と智也のAI論文解説 編集部 RLVRは分布内（ID）では正しい導出戦略を学べる一方、難易度を上げたOODでは導出を捨てて非効率な総当たり列挙に崩れる場合がある、という失敗を逆問題で観察した研究です。
11月 04 2026 0 長時間のAI作業を支えるCoworkOS：戦略と実行管理を分離 投稿者: 亜美と智也のAI論文解説 編集部 CoworkOSは、モデルが戦略を決め、ランタイムが状態・委任・フィードバックを管理する長期作業向けの協働エージェント基盤です。Main／Coordinator／Subagentsの3層、共有アプリ上の成果物編集、永続ワークスペースとJob監視で、人間参加と中断再開を支えます。
11月 04 2026 0 LLMの言語理解と厳密被覆ソルバを連携させるZebraパズル解法 投稿者: 亜美と智也のAI論文解説 編集部 NeuralExactCoverは、自然言語のZebraパズルをLLMがツール呼出に変換して厳密被覆問題として符号化し、MiniExactソルバで解く神経記号手法です。
11月 04 2026 0 MLLMの3Dアフォーダンス検出に多スケールボクセル特徴を後付け注入 投稿者: 亜美と智也のAI論文解説 編集部 VoxAffordは、MLLMが生成したアフォーダンストークンに、凍結済み3D VQVAE由来の多スケールボクセル特徴を生成後にクロスアテンションで注入し、3D位置情報の不足を補う手法です。互換性ゲートで注入量を制御し、点ごとのアフォーダンスマスクを生成します。
11月 04 2026 0 データ仮想化サービスでLLMを使い仮想データセットのキーワードを自動生成 投稿者: 亜美と智也のAI論文解説 編集部 高ボリュームのデータ仮想化サービス（DVS）では、仮想データセットごとの検索用キーワードを人手で付けるのが負担になります。論文はメタデータやユーザコメントからLLMでキーワードを生成するKGSを提案し、5つのテキスト選択戦略を3種のLLM生成器と2種の埋め込み手法で5事例に適用しています。
11月 04 2026 0 小規模モデルのゼロ精度を活かす「ヒント付きスケーリング則」で下流精度を予測 投稿者: 亜美と智也のAI論文解説 編集部 下流ベンチマーク精度は、小モデルがゼロ点付近だと通常のスケーリング則で外挿しにくい。原論文は正解の一部開示などでベンチマークを易しくする「ヒント」を導入し、ヒント量Hとモデル規模Cの共同則L(C,H)を小モデルで当てはめ、H=0を評価して大モデル精度を予測する。
11月 04 2026 0 異なる規模のLLM間でKVキャッシュを変換しコンテキスト計算を再利用するACCT 投稿者: 亜美と智也のAI論文解説 編集部 ACCTは同一モデルファミリー内の異なる規模のLLM間で、ソースモデルが作ったKVキャッシュをクエリに関連する疎なターゲットKVへ変換し、ターゲットにコンテキストを再エンコードさせず推論させる手法です。