Fugu-MT 論文翻訳(概要): GenesisGeo: Technical Report

論文の概要: 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: テクニカルレポート
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金メダルレベル)を達成した。

関連論文リスト

GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning [42.5195033452088]
GeoSym Engineは、自動化されスケーラブルなニューロシンボリックフレームワークである。正確な記号的基底真理を導き出し、堅牢なレンダリングパイプラインとシームレスに統合する。 GeoSym-Benchは、厳密な評価のための511の複雑なサンプルからなる専門家によるスイートである。
論文参考訳（メタデータ） (2026-05-10T13:13:47Z)
GeoFocus: Blending Efficient Global-to-Local Perception for Multimodal Geometry Problem-Solving [55.14836667214487]
GeoFocusは、2つのコアモジュールからなる新しいフレームワークである。 GeoFocusは、主要な特殊モデルよりも4.7%の精度向上を実現している。多様な視覚条件下でのMATHVERSEの強靭性を示す。
論文参考訳（メタデータ） (2026-02-09T11:15:01Z)
Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning [66.79506488139707]
大規模言語モデル(LLM)エージェントは強力な数学的問題解決能力を示す。本研究では,メダリストレベルのメダリストレベルのLLMエージェントの構築とインターンジオメトリの紹介を行う。 InternGeometryは、命題と補助的な構成を反復的に提案することで幾何学の限界を克服し、それらを記号エンジンで検証する。 InternThinker-32BをベースとしたInternGeometryは、50 IMOの幾何学的問題の44を解き、平均金メダリストスコア(40.9)を超える。
論文参考訳（メタデータ） (2025-12-11T11:05:04Z)
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions [129.877899436804]
本稿では、ニューラルネットワークに基づく推論に頼ることなく、CPU上で完全に動作する幾何定理証明の高効率な方法を提案する。 IMO(International Mathematical Olympiad)において,補助点を追加するための単純なランダム戦略により,銀・医療レベルの人的パフォーマンスが達成できることを示す。さらに,HAGeo-409という,人為的な難易度を持つ409の幾何学的問題からなるベンチマークを構築した。
論文参考訳（メタデータ） (2025-11-27T01:05:00Z)
Euclid's Gift: Enhancing Spatial Perception and Reasoning in Vision-Language Models via Geometric Surrogate Tasks [22.52796625148737]
ユークリッド幾何学の問題解決を代理課題として扱う。モデルがユークリッドの原理を取得し、適用できるようにするため、Qwen2.5VLファミリーとRoboBrain2.0ファミリーを微調整する。実験により, 得られたモデルが4つの空間的推論ベンチマークにおいて, 実質的なゼロショットゲインを達成できることが実証された。
論文参考訳（メタデータ） (2025-09-29T08:49:21Z)
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)
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 [43.92309838336044]
我々はTrinh et al. (2024)で導入されたAlphaGeometryの大幅な改良版であるAlphaGeometry2を提案する。これを実現するために、まず最初のAlphaGeometry言語を拡張して、オブジェクトの動きに関わる難しい問題に対処する。これは国際数学オリンピック(IMO)2000-2024の幾何学問題を66%から88%に改善した。
論文参考訳（メタデータ） (2025-02-05T19:02:03Z)
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)

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