1307 件の論文
Cs — Ma カテゴリでは、コンピュータサイエンスの数理的基盤を探求する最先端の研究が集まっています。確率論、離散数学、最適化理論など、複雑な問題を論理的に解き明かすための数学的アプローチが、ここでの主要なテーマです。これらの研究は、アルゴリズムの効率性を飛躍的に高めたり、新しい計算モデルの枠組みを構築したりする上で不可欠な役割を果たしています。
Gist.Science は、arXiv から公開されるこの分野のすべてのプレプリントを自動的に収集し、専門家の手で分析しています。各論文には、専門知識がなくても理解できる平易な解説と、技術的な詳細を網羅した要約の両方を提供しており、誰でも最新の知見にアクセスできます。
以下に、この分野における最新の論文リストを掲載します。
Distribirdは、科学論文からデータを探索、抽出、統計的に適合させるためのマルチエージェント・パイプラインを展開することで、ベイズモデル較正のための文献に基づいた事前分布の作成を自動化し、一様事前分布に代わる透明性の高いローカル実行可能な選択肢を提供し、トレーサビリティを確保して根拠のない出力を防ぐ、エージェンティックなウェブアプリケーションです。
MaSReadは、コンテンツ由来のタグセットを通じてクエリをルーティングし、選択されたフラグメントをハードアテンションマスクの下でデコードすることにより、独立したエージェントがコンフリクトフリーな複製された潜在ストアから特定のフラグメントを確実に取得することを可能にし、それによってコロケーションによる干渉の問題を克服し、ストアのサイズや配信順序に関わらず、スケーラブルなコンテンツアドレス型の読み取りを実現する。
AgonAlphaは、敵対的レビューと並列的な予算配分を用いて凍結された研究アーティファクトを探索し、プロンプトから式へのプロバナンスが証明された高品質かつ完全検証可能なトレーディング・ファクターを生成する自律型アルファマイニングシステムである。
本論文は、エージェンティックAIにおける局所的な検証セーフガードは、調和的証拠の競合から生じる非輸送的な結論を検出することが構造的に不可能であることを示すコホモロジー的枠組みを導入し、サイクルに基づく統計量を用いてそのような大域的な不整合を特定しゲートするためのKsetra手順を提案するものである。
本論文は、個々のエージェントの知能を高めるか制度的構造を改善するかという選択は、特定の集団的推論の失敗を診断することに依存すると論じており、すなわち、制度は集団が公共情報を構築しそれに基づいて行動する方法を修復する際に最も効果的であるが、より強力な知能がそれらの変換を直接実行できる場合や、制度的な信号が情報を伝達していない場合には、その優位性を失うというものである。
本論文は、信頼できない状態の提案をアトミックな活性化から分離することで、ステールの上書きや権限昇格を防止し、状態変化の途切れることのない監査可能な系譜を保証する形式検証済みのプロトコルを通じて、長期生存型AIエージェントの安全かつ認可された進化を確実にするトランザクショナル・コントロールプレーンであるContinuity Kernel（CK）を導入するものである。
本論文は、大規模言語モデルをデジタルツインシステムと統合することで、根拠に基づいた推論と自然言語によるインタラクションを通じてサイバー物理環境における異常検知および診断を強化するフレームワークであるAgenticTwinを提案し、合成気象センサーデータを用いた新しいベンチマークによってその有効性を検証するものである。
本論文は、AIエージェントのセキュリティ確保には、信頼性の低いエージェント中心の防御から、決定論的な強制メカニズムと意味論的かつコンテキストを考慮したポリシーを組み合わせることで堅牢なプライバシーとセキュリティを実現する、ネットワーキングに着想を得たアーキテクチャへの転換が必要であると論じている。
本論文は、LLMエージェントの動機はほぼ完璧な精度で復元できる一方で、その根底にある信念体系は依然として不透明なままであり、観測可能な行動が内部の価値観について明らかにする内容には、設計上のあるいは本質的な限界を示唆する低い精度で停滞しているという、行動推論における根本的な非対称性を実証している。
本論文は、コミュニケーションパターンを分析して行動的な「部族（tribe）」を特定することにより、タスクの早期段階でチームのパフォーマンスを予測するドメインに依存しないフレームワークであるTRIBEを紹介しており、これらのパターンが従来の指標よりも効果的であること、およびLlamaのようなモデルと比較して速度と精度の両面で最適化可能であることを示している。