arXiv reaDer
ダイアグラムから解析されたテキスト句を使用したマルチモーダル ニューラル ジオメトリック ソルバー
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
幾何学問題解決 (GPS) は、マルチモーダル フュージョンと幾何学知識の適用能力を必要とする高レベルの数学的推論です。最近、ニューラル ソルバーは GPS で大きな可能性を示しましたが、ダイアグラム表示とモーダル フュージョンではまだ不十分です。この作業では、ダイアグラムを基本的なテキスト節に変換してダイアグラムの特徴を効果的に記述し、マルチモーダル情報を効率的に融合するために PGPSNet と呼ばれる新しいニューラル ソルバーを提案します。構造的およびセマンティックな事前トレーニング、データ拡張、および自己限定デコードを組み合わせた PGPSNet は、幾何学定理と幾何学的表現に関する豊富な知識を備えているため、幾何学的な理解と推論を促進します。さらに、GPS の研究を容易にするために、PGPS9K という名前の新しい大規模で詳細な注釈付き GPS データセットを構築します。このデータセットには、詳細なダイアグラム注釈と解釈可能なソリューション プログラムの両方がラベル付けされています。 PGPS9K と既存のデータセット Geometry3K での実験により、最先端のニューラル ソルバーに対する私たちの方法の優位性が検証されました。コードとデータセットはまもなく公開されます。
Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application. Recently, neural solvers have shown great potential in GPS but still be short in diagram presentation and modal fusion. In this work, we convert diagrams into basic textual clauses to describe diagram features effectively, and propose a new neural solver called PGPSNet to fuse multi-modal information efficiently. Combining structural and semantic pre-training, data augmentation and self-limited decoding, PGPSNet is endowed with rich knowledge of geometry theorems and geometric representation, and therefore promotes geometric understanding and reasoning. In addition, to facilitate the research of GPS, we build a new large-scale and fine-annotated GPS dataset named PGPS9K, labeled with both fine-grained diagram annotation and interpretable solution program. Experiments on PGPS9K and an existing dataset Geometry3K validate the superiority of our method over the state-of-the-art neural solvers. The code and dataset will be public available soon.
updated: Wed Feb 22 2023 02:38:25 GMT+0000 (UTC)
published: Wed Feb 22 2023 02:38:25 GMT+0000 (UTC)
参考文献 (このサイトで利用可能なもの) / References (only if available on this site)
被参照文献 (このサイトで利用可能なものを新しい順に) / Citations (only if available on this site, in order of most recent)
Amazon.co.jpアソシエイト