論文の概要: SNIP++: Fine-Grained Symbolic-Numerical Alignment for Symbolic Regression
- arxiv url: http://arxiv.org/abs/2609.31965v1
- Date: Fri, 25 Sep 2026 20:08:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 04:18:45.87446
- Title: SNIP++: Fine-Grained Symbolic-Numerical Alignment for Symbolic Regression
- Title(参考訳): SNIP++:シンボリック回帰のための微粒な記号-数値アライメント
- Abstract要約: シンボリック回帰は数学的表現と数値的行動の関連性に依存している。
最近のマルチモーダルモデルは、シンボル表現とその数値的挙動を共有表現空間に埋め込むことで、この接続を学習する。
この埋め込み空間はグローバルな整列のみを示すが、表現の個々の部分の寄与は表現されない。
このギャップを埋める構成アライメント法を導入する。
- 参考スコア(独自算出の注目度): 25.906819467692696
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Mathematical expressions and the numerical behavior they produce are two views of the same underlying function, and connecting them is central to scientific discovery. Symbolic Regression (SR) relies on this connection directly: it searches for an expression that reproduces a given behavior. Recent multi-modal models learn this connection by embedding symbolic expressions and their numerical behavior in a shared representation space. We show that this embedding space is only globally aligned: complete expressions correspond to complete behaviors, but the contribution of individual parts of an expression is not represented. This granularity gap leaves the model unable to tell how a local edit to an expression changes its behavior, the central operation in SR. We introduce a compositional alignment method that closes this gap: a structural positional encoding exposes the substructure of an expression to the encoder, and a multi-granularity contrastive objective grounds each subexpression in the behavior it produces before propagating this grounding to the full expression. The resulting representations close much of the modality gap between symbolic and numerical embeddings, reliably distinguish the effects of local edits that the original alignment cannot, and transfer to external SR corpora.
- Abstract(参考訳): 数学的表現とそれらが生み出す数値的な振る舞いは同じ基礎関数の2つのビューであり、それらを繋ぐことは科学的な発見の中心である。
シンボリック回帰(SR)は、この接続に直接依存しており、与えられた振る舞いを再現する式を検索する。
最近のマルチモーダルモデルは、シンボル表現とその数値的挙動を共有表現空間に埋め込むことで、この接続を学習する。
完全な表現は完全な振る舞いに対応するが、表現の個々の部分の寄与は表現されない。
この粒度のギャップは、局所的な表現の編集が、SRにおける中心的な操作である振る舞いをどのように変化させるかを知ることができないままである。
本稿では,このギャップを埋める構成的アライメント手法を提案する: 構造的位置エンコーディングは式の部分構造をエンコーダに公開し,多粒度コントラスト目的は,この基底を全表現に伝播する前に生成する振る舞いのそれぞれの部分表現を基礎とする。
結果として得られた表現は、記号と数値埋め込みの間のモダリティギャップの大部分を閉じ、元のアライメントができない局所的な編集の効果を確実に区別し、外部のSRコーパスに転送する。
関連論文リスト
- Where Does Generative Difficulty Reside? An Empirical Study of Target Representations [62.54876287800644]
ターゲット表現は、イメージジェネレータが学ぶ必要がある分布を定義するが、しばしば交換可能なインターフェースとして扱われる。
マスク付き自己回帰整流モデルにおいて,生画素,SD-VAE潜伏剤,DINOv2,MAE表現-オートエンコーダの特徴について検討した。
その結果, 圧縮, 再構成忠実度, トークン次元, 可視的セマンティッククラスタリングは生成挙動を個別に予測できないことがわかった。
論文 参考訳(メタデータ) (2026-08-01T12:32:31Z) - Symbolic Regression via Latent Iterative Refinement [8.016092717336457]
単発予測と真の後部とのギャップを埋めるフレームワークであるLatent Equation Embedding (LEE)を提案する。
LEEは、3つのコンポーネントを備えた共有潜在空間Zを学習する。
LEEは、最強の精度指向のベースラインよりも2~10倍単純である。
論文 参考訳(メタデータ) (2026-05-26T16:25:05Z) - Investigating Anisotropy in Visual Grounding under Controlled Counterfactual Perturbations [1.423280626666929]
接地モデルは意味的にミスマッチしたキャプションで評価されることは滅多にない。
本研究は, 埋込異方性が反現実的失敗に寄与するかどうかを考察する。
論文 参考訳(メタデータ) (2026-05-09T17:54:31Z) - Deep Variational Inference Symbolic Regression [41.99844472131922]
シンボリック回帰は、前もって関数形式を仮定することなく、明示的で解釈可能な方程式を発見する。
Deep Symbolic Regression (DSR)は、ニューラルネットワークを使用してシンボリック表現を生成する。
DSRの変分ベイズ拡張であるDVISR(Deep Variational Inference Symbolic Regression)を導入する。
論文 参考訳(メタデータ) (2026-05-01T20:04:11Z) - PosFormer: Recognizing Complex Handwritten Mathematical Expression with Position Forest Transformer [51.260384040953326]
手書き数学的表現認識(HMER)は、人間と機械の相互作用シナリオに広く応用されている。
本稿では,HMERのための位置フォレスト変換器(PosFormer)を提案する。
PosFormerは、最先端のメソッドである2.03%/1.22%/2、1.83%、および4.62%を一貫して上回っている。
論文 参考訳(メタデータ) (2024-07-10T15:42:58Z) - AdaContour: Adaptive Contour Descriptor with Hierarchical Representation [52.381359663689004]
既存の角度ベースの輪郭記述子は、星以外の形状の損失表現に悩まされる。
AdaConは、他のディスクリプタよりも正確に形を表現できる。
論文 参考訳(メタデータ) (2024-04-12T07:30:24Z) - Interpreting CLIP's Image Representation via Text-Based Decomposition [73.54377859089801]
CLIP画像エンコーダは,個々のモデルコンポーネントが最終表現にどう影響するかを解析することによって検討する。
画像表現は、個々の画像パッチ、モデル層、アテンションヘッドにまたがる和として分解する。
この理解を利用して、CLIPからスプリケートな機能を取り除き、強力なゼロショットイメージセグメンタを作成します。
論文 参考訳(メタデータ) (2023-10-09T17:59:04Z) - Self-Supervised Learning Disentangled Group Representation as Feature [82.07737719232972]
既存の自己監督学習(SSL)は、回転や着色などの単純な拡張機能のみを分解することを示す。
反復的分割に基づく不変リスク最小化(IP-IRM)を提案する。
我々は、IP-IRMが完全に不整合表現に収束し、様々なベンチマークでその効果を示すことを証明した。
論文 参考訳(メタデータ) (2021-10-28T16:12:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。