論文の概要: GenesisGeo: Technical Report

• arxiv url: http://arxiv.org/abs/2509.21896v1
• Date: Fri, 26 Sep 2025 05:30:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-29 20:57:54.205348
• Title: GenesisGeo: Technical Report
• Title（参考訳）: GenesisGeo: テクニカルレポート
• Authors: Minfeng Zhu, Zi Wang, Sizhe Ji, Zhengtong Du, Junming Ke, Xiao Deng, Zanlang Yin, Xiuqi Huang, Heyu Wang, Wei Chen,
• Abstract要約: ユークリッド幾何学における自動定理証明であるGenesisGeoを提案する。 我々は218万の幾何学的問題からなる大規模な幾何学的データセットをオープンソース化した。 また、Qwen3-0.6B-Base上にニューロシンボリック証明器GenesisGeoを構築した。
• 参考スコア（独自算出の注目度）: 7.529402696800159
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present GenesisGeo, an automated theorem prover in Euclidean geometry. We have open-sourced a large-scale geometry dataset of 21.8 million geometric problems, over 3 million of which contain auxiliary constructions. Specially, we significantly accelerate the symbolic deduction engine DDARN by 120x through theorem matching, combined with a C++ implementation of its core components. Furthermore, we build our neuro-symbolic prover, GenesisGeo, upon Qwen3-0.6B-Base, which solves 24 of 30 problems (IMO silver medal level) in the IMO-AG-30 benchmark using a single model, and achieves 26 problems (IMO gold medal level) with a dual-model ensemble.
• Abstract（参考訳）: ユークリッド幾何学における自動定理証明であるGenesisGeoを提案する。 我々は218万の幾何学的問題からなる大規模な幾何学的データセットをオープンソース化した。 特に、定理マッチングによりシンボル推論エンジンDDARNを120倍に高速化し、コアコンポーネントのC++実装と組み合わせた。 さらに, ニューロシンボリック証明器であるGenesisGeoをQwen3-0.6Bベース上に構築し, 単一モデルを用いて, IMO-AG-30ベンチマークにおいて24個の問題(IMO銀メダルレベル)を解決し, 二重モデルアンサンブルを用いて26個の問題(IMO金メダルレベル)を達成した。

関連論文リスト

• TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving [106.04001249574786]
  TrustGeoGenは、標準的で信頼性の高いベンチマークを確立するために、正式に検証された幾何問題を生成するデータエンジンである。 1)ダイアグラム,テキスト,ステップバイステップのソリューションの生成を同期するマルチモーダルアライメント,2)すべての推論パスがルール準拠であることを保証する形式検証,3)接続思考,ブリッジング,ヒューマンライクな論理ステップとの論理的推論,4)複数のソリューションと自己回帰バックトラックを備えた多種多様な問題を生成できるTextitGeoExploreシリーズアルゴリズム。
  論文  参考訳（メタデータ） (2025-04-22T10:45:23Z)
• Proposing and solving olympiad geometry with guided tree search [63.824930029019995]
  木探索に基づくガイド付き問題解決を支援するユークリッド幾何学システムであるTongGeometryを紹介する。 TongGeometryは、補助的な構成を必要とする67億の幾何学定理を発見した。 トンゲメトリーはIMO-AG-30ですべての国際数学オリンピック幾何学を解き、金メダリストを初めて上回った。
  論文  参考訳（メタデータ） (2024-12-14T04:20:47Z)
• Theorem-Validated Reverse Chain-of-Thought Problem Generation for Geometric Reasoning [53.13514542825493]
  TRCoT(Theorem-d Reverse Chain-of-Thought Reasoning Synthesis)フレームワークについて述べる。 最初の段階であるTR-Engineは、構造的な記述と性質を持つ定理基底幾何学図を合成する。 第2段階であるTR-Reasonerは、幾何特性と記述フラグメントを交互に検証することで、反復的に質問と回答のペアを洗練するためのリバース推論を採用している。
  論文  参考訳（メタデータ） (2024-10-23T13:58:39Z)
• FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving [9.73597821684857]
  これは、私たちが過去3年間に達成した一連の研究の中で、初めての論文です。 本稿では,一貫した平面幾何学システムを構築した。 これは、IMOレベルの平面幾何学の課題と、可読性のあるAI自動推論の間に重要な橋渡しとなる。
  論文  参考訳（メタデータ） (2023-10-27T09:55:12Z)
• GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning [172.36214872466707]
  我々は、テキスト記述、視覚図、定理知識の包括的理解を必要とする幾何学的問題を解くことに注力する。 そこで本研究では,5,010の幾何学的問題を含む幾何学的質問応答データセットGeoQAを提案する。
  論文  参考訳（メタデータ） (2021-05-30T12:34:17Z)

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

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