文章の専門知識を予測モデルの論理制約へ自動変換する
Auto-Formalizing Neuro-Symbolic Predictors
この論文をやさしく読む
ひとことで言うと
専門知識を文章から論理式へ変換し、その論理式をニューラルネットワークの予測制約に使えるかを評価する研究です。
何に役立つ？
専門家が手作業で制約を書く負担を減らす方法を検討するのに役立ちます。論理式そのものの評価に加え、予測精度への影響まで比較できるベンチマークを提供します。
この研究の面白いところ
文章を形式化できたかだけで終わらず、生成した制約を実際に予測器へ組み込み、その後の精度を調べています。
どこまで分かった？
要旨の良好な予測結果には、生成式が構文的に妥当という条件があります。全制約の正しさや高影響用途での安全性を保証する結果ではなく、分野別の数値も要旨には記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ニューロシンボリック（NeSy）予測器は、ニューラルネットワークの予測過程に事前知識を組み込み、出力が指定された制約を満たすようにする。そのため、分野の知識との整合が不可欠な、重大な影響を持つ用途に特に適している。この枠組みの主要な障害は、記号的な制約を取得することにある。分野の知識を論理式に符号化する作業は、依然として手作業で、多くの専門家の労力を要する。 本研究では、大規模言語モデル（LLM）による自動形式化が、文章で表された知識をNeSy予測器に組み込める記号的知識へ、どの程度体系的に変換できるかを調べる。このため、制約の形式化と、それがNeSy予測器の後段の精度に与える影響を評価する新しいベンチマークauto-nesy-benchを導入する。複数分野にわたる広範な評価から、LLMは有意義な程度まで制約を形式化でき、専門家が提供するものに似た式を生成することが多いと分かった。さらに、生成された式が構文的に妥当であれば、後段で質の高い予測につながり得る。コードとベンチマークはhttps://unitn-sml.github.io/auto-nesy-bench/で公開されている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Neuro-Symbolic (NeSy) predictors incorporate prior knowledge into the prediction process of neural networks, ensuring that outputs satisfy specified constraints, making them particularly suitable for high-stakes applications where compliance with domain knowledge is essential. A key bottleneck in this paradigm is the acquisition of symbolic constraints: encoding domain knowledge into logical formulas remains a manual and expert-intensive process. In this work, we investigate the extent to which auto-formalization via LLMs can systematically translate textual knowledge into symbolic knowledge that can be plugged into NeSy predictors. To this end, we introduce auto-nesy-bench, a new benchmark for evaluating constraint formalization and its impact on downstream accuracy of NeSy predictors. Through an extensive evaluation across several domains, we find that LLMs can formalize constraints to a meaningful extent, generating formulas that are often similar to those provided by human experts. Moreover, when the generated formulas are syntactically valid, they can lead to high-quality downstream predictions. The code and benchmark are available at https://unitn-sml.github.io/auto-nesy-bench/.
arXiv ID: 2610.01519 ／ 要約の誤りについて