Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
この論文は、7 つの最先端 LLM が生成した 3,500 件のコードを Z3 ソルバーを用いた形式検証で分析した結果、どのモデルも「D 評価」以下であり、55.8% のコードに数学的に証明された脆弱性が存在し、既存のセキュリティツールはこれらを検出できないことを示している。
✓ 著者確認済み
著者が確認した論文
原著者が当サイトのやさしい解説を確認した論文。
このページに掲載されている各論文については、少なくとも一人の原著者が当サイトのやさしい解説を確認し、内容の正確性を認めるか、または修正を依頼しその修正を私たちが反映しています。確認は各文への正式な承認を意味するものではありませんが、論文を書いた本人たちの目を通ったことを意味します。
279 件の論文を著者が確認済み · 71–80 / 279
Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity
この論文は、スピン三重項超伝導とマグノン・スピントロニクスを記述する SU(2)×U(1) 対称性に基づく非アーベルギンズブルグ・ランダウ理論を提案し、質量のある光子と非アーベル的マグノン、質量のない中性マグノン、そしてヒッグス場から構成されるこの理論が、長距離磁気相互作用、2 種類の保存電流、非アーベル的マイスナー効果、そして磁気・スピン両方の渦とモノポールを特徴づけることを示しています。
In search of truth: Evaluating concordance of AI-based anatomy segmentation models
この論文は、アノテーションのないデータセットにおける AI 解剖学セグメンテーションモデル間の一致度を評価し、モデル間の不一致を特定するための実用的なフレームワークを提案したものである。具体的には、出力を標準化された表現に統一し、対話型可視化ツールを提供することで、NLST CT スキャンにおける 6 つのオープンソースモデルを比較検証し、不一致事例をフラグ付けして専門家によるレビューを優先する手法の有効性を示した。
Study of the migration of Earth-like planets in planetesimal disks and the formation of debris disks
地球質量の惑星が原始惑星系円盤内を移動・往復する過程で、円盤内の微惑星間の相対速度が増大して衝突破砕を引き起こし、塵の生成を通じて外縁のデブリ円盤が形成されるメカニズムが示されました。
SenseAI: A Human-in-the-Loop Dataset for RLHF-Aligned Financial Sentiment Reasoning
この論文は、金融センチメント推論におけるモデルの推論プロセスと人間による修正シグナルを統合した RLHF 対応データセット「SenseAI」を提案し、モデルの誤りが予測可能なパターンに従うことを示すことで、構造化された人間介入データを用いた金融 AI の改善可能性を明らかにしています。
New-born strings are tensionless
この論文は、従来の永遠の弦というパラダイムを離れ、有限寿命の因果ダイヤモンド内で弦のダイナミクスを定式化することで、弦が誕生する瞬間のみ張力がゼロとなる新たな物理的起源を明らかにした。
Organism-Environment Topological Interfaces Drive the Origination of Organismal Form
本論文は、生物と環境の間のトポロジカルな界面の変形が資源輸送の制約とトポロジカルな選択によって駆動され、生物の形態の起源、運動性の発生、および爆発的な多様化を説明する新たな統一的なパラダイムを提示している。
Device/circuit simulations of silicon spin qubits based on a gate-all-around transistor
本論文は、TCAD と SPICE を用いたシミュレーションにより、ゲート・オール・アラウンドトランジスタに基づくシリコン・スピン・キュービットの読み出しプロセスを理論的に検証し、適切な回路設計と電圧制御により従来のセンスアンプを用いた効率的な読み出しが可能であることを示したものである。
Analytical Kink-Type Solutions and Streak Formation in Turbulent Channel Flow
アレクセーエフの流体力学方程式に基づき、平均流速分布の実験データと高い精度で一致する解析解を導出するとともに、横方向速度成分と流線方向運動量の結合から「キック型解」を導き、これが壁面乱流におけるコヒーレントなストリーク構造の形成メカニズムを統一的に説明することを示した。
Detecting gravitational waves by emission of photons from charged Weber bars
この論文は、電磁的に遮蔽された空洞内に設置された帯電したウェバー棒が重力波の照射により光子を放出する現象を利用し、半古典的なゲルツェンシュテイン効果の光力学的システムへの応用を通じて、重力波検出の新たな実験手法を提案するものである。