原著者が当サイトのやさしい解説を確認した論文。
このページに掲載されている各論文については、少なくとも一人の原著者が当サイトのやさしい解説を確認し、内容の正確性を認めるか、または修正を依頼しその修正を私たちが反映しています。確認は各文への正式な承認を意味するものではありませんが、論文を書いた本人たちの目を通ったことを意味します。
1288 件の論文を著者が確認済み · 821–830 / 1288
本論文は、自然言語による問題を決定論的な計算代数システム（Computer-Algebra-System）のパイプラインへと正規化するために言語モデルをのみ活用する、信頼性重視のニューロ・シンボリック・アーキテクチャであるAXIOMを紹介しており、これは数学的ベンチマークにおいて94.36%の正確性と100%の信頼性（確信を持った誤りがゼロ）を達成しつつ、システムの改善によって以前に検証された結果が退行しないことを保証している。
本論文は、「安定性蒸留仮説」を提唱し、生命の起源とは、安定性の差による選択的濃縮によって駆動される不可避かつ統一されたプロセスであり、それは、ありそうもない偶然の事象に依存することなく、情報の自発的な出現、RNAの選択、区画化、そして細胞とウイルスの共起源を論理的に必然づけるものであると論じている。
本論文は、最長増加部分列問題が多項式時間で解けるにもかかわらず、低温域においては、エネルギー障壁ではなく利用可能な構成の欠如によって局所探索アルゴリズムがメタステーブルな状態（準安定状態）に陥るため、ガラス的なダイナミクスと熱力学的希薄性を示すことを明らかにしている。
本論文は、外部情報のフィードのキュレーションと順序付けが、特にLLMエージェントが不確実な状況にある際に、それらを敵対的な決定へと系統的に誘導し得ることを示しており、これは安全性の評価において、モデルを単独でテストするのではなく、上流のリコメンダー層を監査する必要があることを明らかにしている。
本論文は、プロトコルの微分に関する物理的制約下にある弱駆動系において、不可逆的な仕事を最小化することは、一定の駆動速度と線形なプロトコルによる大域的最適解をもたらすことを示しており、この結果は、シフトされた固有値方程式から導出され、数値的遺伝プログラミングによって確認されている。
本論文は、微分方程式の残差と情報理論的境界の両方を強制することで、熱力学および金融システムにおけるエントロピーを正確に予測し、熱力学第二法則の違反をゼロにし、優れたデータ効率を実現し、幾何学的解析を通じて相不安定性を特定することを可能にする、統一された物理情報に基づくディープラーニングフレームワークを導入するものである。
本論文は、低リソースにおける安全性への失敗は、有害性の表現の欠如ではなく意思決定のキャリブレーションにおける不一致に起因することを実証し、わずかなターゲット言語の例のみを用いて既存の高リソースな安全性ゲートを再キャリブレーションすることによってこれを修正する手法を提案する。
本論文は、チコノフ正則化、縮小写像の性質、およびR-連続性理論を活用することにより、非総和可能誤差の下でのヒルベルト空間における単調包含問題を解くための、実用的な不正確近接点アルゴリズムおよびツェング・アルゴリズムの収束性を初めて確立するものである。
本論文は、サンプル間の整合性とトークンレベルの確信度に基づく検出シグネチャによってLLMのハルシネーションを分類する新しい2x2のタクソノミーであるDECKを導入しており、特定の誤りタイプ（Drift、Entrenched、Confabulation、Knotted）が個別の検出手法を必要とすること、および知識の欠落がある入力に対して確信度が高く反復的な捏造が行われる際に、現在の出力レベルの不確実性定量化アプローチでは検出不可能となる普遍的な盲点が露呈していることを明らかにしている。
本論文は、デジタル、印刷、手書きの各シナリオにおける8つのチャートファミリーを特徴とし、フォーマットに依存しない評価プロトコルを備えた包括的なバイリンガル・ベンチマークであるChartArenaを紹介するものであり、多様なチャート形式を解析する上での26種類の主要なマルチモーダル大規模言語モデルの現在の能力と限界を体系的に評価し、明らかにすることを目的としている。