論文の概要: Inter-GPS: Interpretable Geometry Problem Solving with Formal Language
and Symbolic Reasoning
- arxiv url: http://arxiv.org/abs/2105.04165v1
- Date: Mon, 10 May 2021 07:46:55 GMT
- ステータス: 処理完了
- システム内更新日: 2021-05-11 22:53:19.635185
- Title: Inter-GPS: Interpretable Geometry Problem Solving with Formal Language
and Symbolic Reasoning
- Title(参考訳): イントラGPS:形式言語とシンボリック推論を用いた解釈幾何学問題の解法
- Authors: Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan
Liang, Song-Chun Zhu
- Abstract要約: 3,002の幾何学的問題と密接なアノテーションを形式言語に含む新しい大規模ベンチマークGeometry3Kを構築します。
我々は、Interpretable Geometry Problemsolvr (Inter-GPS)と呼ばれる形式言語と記号推論を用いた新しい幾何学的解法を提案する。
イントラGPSは定理の知識を条件付き規則として取り入れ、記号的推論を段階的に行う。
- 参考スコア(独自算出の注目度): 123.06420835072225
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Geometry problem solving has attracted much attention in the NLP community
recently. The task is challenging as it requires abstract problem understanding
and symbolic reasoning with axiomatic knowledge. However, current datasets are
either small in scale or not publicly available. Thus, we construct a new
large-scale benchmark, Geometry3K, consisting of 3,002 geometry problems with
dense annotation in formal language. We further propose a novel geometry
solving approach with formal language and symbolic reasoning, called
Interpretable Geometry Problem Solver (Inter-GPS). Inter-GPS first parses the
problem text and diagram into formal language automatically via rule-based text
parsing and neural object detecting, respectively. Unlike implicit learning in
existing methods, Inter-GPS incorporates theorem knowledge as conditional rules
and performs symbolic reasoning step by step. A theorem predictor is also
designed to infer the theorem application sequence fed to the symbolic solver
for the more efficient and reasonable searching path. Extensive experiments on
the Geometry3K and GEOS datasets demonstrate Inter-GPS achieves significant
improvements over existing methods.
- Abstract(参考訳): 幾何学的問題解決は近年,NLPコミュニティで注目されている。
この課題は、抽象的な問題理解と公理的知識によるシンボリック推論を必要とするため、難しい。
しかし、現在のデータセットは規模が小さいか、あるいは公開されていない。
そこで我々は,3,002の幾何問題と,形式言語における濃密なアノテーションからなる大規模ベンチマークGeometry3Kを構築した。
さらに,形式言語と記号推論を用いた新しい幾何学的解法,Interpretable Geometry Problem Solver (Inter-GPS)を提案する。
インターgpsはまず問題テキストとダイアグラムをルールベースのテキスト解析とニューラルオブジェクト検出によって自動的に形式言語に解析する。
既存の手法の暗黙的な学習とは異なり、Inter-GPSは定理知識を条件付き規則として取り入れ、段階的に記号的推論を行う。
定理予測器は、より効率的で合理的な探索経路のためにシンボリックソルバに供給された定理の適用シーケンスを推測するように設計されている。
Geometry3KとGEOSデータセットの大規模な実験は、Inter-GPSが既存の方法よりも大幅に改善されていることを示している。
関連論文リスト
- A Survey of Geometric Graph Neural Networks: Data Structures, Models and
Applications [67.33002207179923]
本稿では、幾何学的GNNに関するデータ構造、モデル、および応用について調査する。
幾何学的メッセージパッシングの観点から既存のモデルの統一的なビューを提供する。
また、方法論開発と実験評価の後の研究を促進するために、アプリケーションと関連するデータセットを要約する。
論文 参考訳(メタデータ) (2024-03-01T12:13:04Z) - FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep
Reinforcement Learning [1.137457877869062]
我々はFGeoDRLと呼ばれるニューラルシンボリックシステムを構築し、人間のような幾何学的推論を自動的に行う。
神経部分は強化学習に基づくAIエージェントであり、問題解決方法を自律的に学習することができる。
フォーマルなgeo7kデータセットで実施された実験は、86.40%の問題解決成功率を達成した。
論文 参考訳(メタデータ) (2024-02-14T09:48:39Z) - FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems [1.137457877869062]
本稿では,FGeo-TP (Theorem Predictor)を導入し,この言語モデルを用いて定理列の予測を行い,幾何学的問題を解く。
本研究では,FormalGeo7kデータセット上での言語モデル強化FGeo-TPの問題解決率を著しく向上させることを示す。
論文 参考訳(メタデータ) (2024-02-14T09:44:28Z) - G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model [124.68242155098189]
大規模言語モデル(LLM)は、人間レベルの推論と生成能力に顕著な習熟性を示している。
G-LLaVAは幾何学的問題の解法において例外的な性能を示し、7Bパラメータしか持たないMathVistaベンチマークにおいて GPT-4-V を著しく上回っている。
論文 参考訳(メタデータ) (2023-12-18T17:36:20Z) - FormalGeo: An Extensible Formalized Framework for Olympiad Geometric
Problem Solving [9.73597821684857]
これは、私たちが過去3年間に達成した一連の研究の中で、初めての論文です。
本稿では,一貫した平面幾何学システムを構築した。
これは、IMOレベルの平面幾何学の課題と、可読性のあるAI自動推論の間に重要な橋渡しとなる。
論文 参考訳(メタデータ) (2023-10-27T09:55:12Z) - A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from
Diagram [33.62866585222121]
マルチモーダル情報を効率的に融合する新しいニューラルソルバであるPGPSNetを提案する。
PGPSNetには幾何学定理と幾何学的表現の知識が豊富にある。
我々はPGPS9Kという,大規模かつ詳細なGPSデータセットを構築した。
論文 参考訳(メタデータ) (2023-02-22T02:38:25Z) - UniGeo: Unifying Geometry Logical Reasoning via Reformulating
Mathematical Expression [127.68780714438103]
計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。
我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。
また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
論文 参考訳(メタデータ) (2022-12-06T04:37:51Z) - GeoQA: A Geometric Question Answering Benchmark Towards Multimodal
Numerical Reasoning [172.36214872466707]
我々は、テキスト記述、視覚図、定理知識の包括的理解を必要とする幾何学的問題を解くことに注力する。
そこで本研究では,5,010の幾何学的問題を含む幾何学的質問応答データセットGeoQAを提案する。
論文 参考訳(メタデータ) (2021-05-30T12:34:17Z) - Neural Topological SLAM for Visual Navigation [112.73876869904]
意味論を生かし、近似幾何学的推論を行う空間のトポロジ的表現を設計する。
本稿では,ノイズのあるアクティベーションの下でそのような表現を構築し,維持し,使用することができる教師付き学習ベースアルゴリズムについて述べる。
論文 参考訳(メタデータ) (2020-05-25T17:56:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。