TraceFix: TLA+反例を用いたLLMマルチエージェント協調プロトコルの修復
LLMマルチエージェントが協調プロトコルを自動生成・検証し、TLA+モデルチェッカーの反例で修復する手法が…
AI&Tech、もう追いかけなくていい。
30秒で読めるニュースダイジェスト
LLMマルチエージェントが協調プロトコルを自動生成・検証し、TLA+モデルチェッカーの反例で修復する手法が…
AIによる資源配分において、偶発的な不確実性が誤配分を完全に排除できないことを研究しました。
LLMと形式論理ソルバーを組み合わせ、個人の常識のばらつきを考慮したアブダクティブ推論フレームワークが…
CLIエージェントが部分的な観測と疎な報酬から学習する際の課題を解決する新しい手法が提案されました。
大規模推論モデル(LRM)が、人間のゲーム学習における行動パターンと脳活動を高い精度で再現しました。
緑内障スクリーニングにおいて、AIが判断に迷う症例を適切な専門家へ振り分ける新しいAIシステムが開発さ…
LLMの推論能力を向上させるため、ルーブリック(評価基準)を用いた強化学習フレームワークが提案されまし…
LLMの推論コストを削減しつつ、精度を維持または向上させる新手法「VecCISC」が提案されました。
複数VLMの出力合意度を測る「コンセンサスエントロピー」により、OCRの精度と信頼性を向上させるフレーム…
分散型LLM学習で発生する通信のテールレイテンシを、新しい手法で解消する技術が発表されました。
教育用LLMチューターのプロンプトインジェクション防御策が、セキュリティ・ユーザビリティ・遅延のバラン…
33の最先端LLMが、MMLUベンチマークのドメインごとに自己認識能力にばらつきがあることが判明しました。