論文の概要: Graph neural networks and MSO

• arxiv url: http://arxiv.org/abs/2505.07816v2
• Date: Thu, 15 May 2025 13:32:24 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-16 12:00:18.765646
• Title: Graph neural networks and MSO
• Title（参考訳）: グラフニューラルネットワークとMSO
• Authors: Veeti Ahvonen, Damian Heiman, Antti Kuusisto,
• Abstract要約: 我々は、実数を扱う再帰グラフニューラルネットワークがモナディックな二階述語論理 MSO に制限された表現力を持つという既存の結果の代替的証明を与える。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We give an alternative proof for the existing result that recurrent graph neural networks working with reals have the same expressive power in restriction to monadic second-order logic MSO as the graded modal substitution calculus. The proof is based on constructing distributed automata that capture all MSO-definable node properties over trees. We also consider some variants of the acceptance conditions.
• Abstract（参考訳）: 我々は、実数を扱う再帰グラフニューラルネットワークがモナディックな二階述語論理 MSO に制限された表現力を持つという既存の結果の代替的証明を与える。 この証明は、木上の全てのMSO定義可能なノード特性をキャプチャする分散オートマトンの構築に基づいている。 また、受理条件の変種についても検討する。

関連論文リスト

• $p$-Adic Polynomial Regression as Alternative to Neural Network for Approximating $p$-Adic Functions of Many Variables [55.2480439325792]
  任意の精度で連続関数を近似できる回帰モデルを構築している。 提案モデルは、ニューラルネットワークアーキテクチャに基づく$p$-adicモデルの簡単な代替と見なすことができる。
  論文  参考訳（メタデータ） (2025-03-30T15:42:08Z)
• On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
  CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
  論文  参考訳（メタデータ） (2024-06-20T10:59:02Z)
• Hierarchical Phrase-based Sequence-to-Sequence Learning [94.10257313923478]
  本稿では、学習中の帰納バイアスの源として階層的フレーズを取り入れ、推論中の明示的な制約として、標準的なシーケンス・ツー・シーケンス(seq2seq)モデルの柔軟性を維持するニューラルトランスデューサについて述べる。 本手法では,木が原文と対象句を階層的に整列するブラケット文法に基づく識別的導出法と,整列した句を1対1で翻訳するニューラルネットワークセク2セックモデルという2つのモデルを訓練する。
  論文  参考訳（メタデータ） (2022-11-15T05:22:40Z)
• Self-consistent Reasoning For Solving Math Word Problems [27.584325149744444]
  数学語問題(英: Math word problem、MWP)は、テキスト中の数学問題から解表現を自動的に導き出すタスクである。 これまでの研究では、入力テキストと出力表現の間に急激な相関関係があった。 本稿では,出力分布シフトの補正にプルーニング戦略を採用するSCRという自己整合推論フレームワークを提案する。
  論文  参考訳（メタデータ） (2022-10-27T12:34:31Z)
• Covariant-Contravariant Refinement Modal $\mu$-calculus [0.0]
  本稿では,CC-refinement modal $mu$-calculus (CCRML$mu$)を紹介する。 CCRML$mu$は、リアクティブおよび生成的アクションを参照するシステムの特性を記述するための仕様言語と見なすことができる。
  論文  参考訳（メタデータ） (2022-08-05T05:24:30Z)
• Constrained Training of Neural Networks via Theorem Proving [0.2578242050187029]
  有限トレース上の線形時間論理の深い埋め込み(LTL$_f$)を定式化する。 次に、損失関数 $mathcalL$ を形式化し、その関数 $dmathcalL$ に微分可能であることを正式に証明する。 本研究では,動的運動のための既存のディープラーニングフレームワークのトレーニングに使用する場合,共通の運動仕様パターンに対する予測結果が得られたことを示す。
  論文  参考訳（メタデータ） (2022-07-08T13:13:51Z)
• Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics [0.0]
  Diproche システムは、Koepke や Schr"oder 、 Cramer などによる Naproche システムに似た初心者学生の運動の文脈に特化している。 本稿では,このようなアンチATPの概念を簡潔に解説し,その実装における基本技術について解説する。
  論文  参考訳（メタデータ） (2020-02-12T16:36:59Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。