Fugu-MT 論文翻訳(概要): Ultraconstructive Model Theory via Bounded Adversarial Finite Structures

論文の概要: Ultraconstructive Model Theory via Bounded Adversarial Finite Structures

arxiv url: http://arxiv.org/abs/2608.07534v1
Date: Mon, 27 Jul 2026 13:57:14 GMT
ステータス: 翻訳完了
システム内更新日: 2026-08-17 01:32:04.55326
Title: Ultraconstructive Model Theory via Bounded Adversarial Finite Structures
Title（参考訳）: 境界逆有限構造による超構成的モデル理論
Abstract要約: UCMTは理想化された満足度を有限のコンプ-テイションスケールで置き換える。有限部分構造は、制限された攻撃面から法的課題を引き出し、法的な応答を通じてビルダー(神)によって修復され、象徴的な裁判官によって認定される。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Ultraconstructive Model Theory (UCMT) replaces idealized satisfaction, at finite compu- tational scale, by bounded adversarial survival. A finite partial structure is tested by an Opponent (Devil) drawing legal challenges from a bounded attack surface, repaired by a Builder (God) through legal replies, and certified by a symbolic Judge
Abstract（参考訳）: ウルトラコンストラクティブモデル理論(UCMT)は、有限のコンプ・テイションスケールで理想的な満足度を置き換える。有限部分構造は、制限された攻撃面から法的課題を導き、法的な応答を通じてビルダー(神)によって修復され、象徴的な裁判官によって認定される。

関連論文リスト

Learning Physics-Informed Surrogate Model of Linear Elastic Displacement Fields from Geometry [0.0]
本研究の目的は、破壊された弾性ドメインのリアルタイム構造的健康モニタリングのための高速で物理的に一貫したサロゲートモデルを開発することである。境界条件とフラクチャー幾何学の両方から変位場を予測する物理インフォームドDeepONetフレームワークを提案する。
論文参考訳（メタデータ） (2026-07-10T13:04:08Z)
SuperFlex: Deformable Superquadrics for Point Cloud Decomposition [49.51169535433531]
スーパークワッドリックはコンパクトで幾何学的に意味のある3Dオブジェクトの表現を提供することが証明されている。既存の手法では、復元精度が制限され、厳密なプリミティブに制限され、部分点雲に対する堅牢性が欠如している。スーパークアッドリック分解の表現力と適用性を拡張する拡張フレームワークであるSuperFlexを提案する。
論文参考訳（メタデータ） (2026-07-01T14:51:14Z)
Provably Secure Agent Guardrail [89.79561918065122]
既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
論文参考訳（メタデータ） (2026-05-28T02:12:41Z)
Rethinking Transferable Adversarial Attacks on Point Clouds from a Compact Subspace Perspective [55.919842734983156]
CoSAは、共有された低次元セマンティック空間内で機能する転送可能なアタックフレームワークである。 CoSAは、最先端のトランスファー可能な攻撃を一貫して上回っている。
論文参考訳（メタデータ） (2026-01-30T15:48:11Z)
Revisiting Reconstruction-based AI-generated Image Detection: A Geometric Perspective [50.83711509908479]
幾何学的観点からの再構成誤差に対するヤコビアンスペクトル下界の導入について述べる。再構成多様体上の実画像は非自明な誤差下界を示し、多様体上の生成された画像はゼロに近い誤差を持つことを示す。本稿では,構造化編集操作を活用することで動的再構成誤差を計算できるReGapを提案する。
論文参考訳（メタデータ） (2025-10-29T03:45:03Z)
AdvChain: Adversarial Chain-of-Thought Tuning for Robust Safety Alignment of Large Reasoning Models [62.70575022567081]
本稿では,逆CoTチューニングによる動的自己補正をモデルに教えるアライメントパラダイムであるAdvChainを提案する。私たちの仕事は、より堅牢で信頼性の高い推論モデルを構築するための新しい方向性を確立します。
論文参考訳（メタデータ） (2025-09-29T04:27:23Z)
An Ontology-Driven Graph RAG for Legal Norms: A Structural, Temporal, and Deterministic Approach [0.0]
標準、平文検索は、法の階層的、横行的、因果的構造に盲目である。本稿では,法則の形式構造とダイアクロニックな性質を明示的にモデル化することにより,これらの制約を克服するためのオントロジー駆動型フレームワークSAT-Graph RAGを紹介する。
論文参考訳（メタデータ） (2025-04-29T18:36:57Z)
Enhance transferability of adversarial examples with model architecture [29.340413471204478]
敵の例の転送性は、ブラックボックスの敵攻撃を開始する上で重要である。本稿では,新しい視点,すなわち適合モデルアーキテクチャの設計から,過度に適合する問題を緩和することを提案する。 MMAをベースとした対向的な例の転送可能性は他の最先端モデルアーキテクチャを最大40%上回り、オーバーヘッドは同等である。
論文参考訳（メタデータ） (2022-02-28T09:05:58Z)
Towards Compositional Adversarial Robustness: Generalizing Adversarial Training to Composite Semantic Perturbations [70.05004034081377]
まず,合成逆数例を生成する新しい手法を提案する。本手法は, コンポーネントワイド射影勾配勾配を利用して最適攻撃組成を求める。次に,モデルロバスト性を$ell_p$-ballから複合意味摂動へ拡張するための一般化逆トレーニング(GAT)を提案する。
論文参考訳（メタデータ） (2022-02-09T02:41:56Z)
Efficient Generation of Structured Objects with Constrained Adversarial Networks [25.74932947671932]
GAN(Generative Adversarial Networks)は、分子やゲームマップのような構造化オブジェクトを生成するのに苦労する。本稿では,モデルに制約を埋め込んだGANの拡張であるConstrained Adversarial Networks (CANs)を提案する。 CANは(高い確率で)有効構造の効率的な推論をサポートし、推論時に学習した制約をオン/オフすることができる。
論文参考訳（メタデータ） (2020-07-26T19:04:37Z)
Trace-Norm Adversarial Examples [24.091216490378567]
逆探索を異なるノルムで制限すると、異なる構成の逆の例が得られる。構造的対向摂動は、その$l_p$カウンターパートよりも大きな歪みを許容する。それらは、(局所的な)曖昧さのように、敵の摂動の発生をある程度制御することができる。
論文参考訳（メタデータ） (2020-07-02T13:37:19Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。