Cover Image

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chervonyi, Yuri, Trinh, Trieu H., Olšák, Miroslav, Yang, Xiaomeng, Nguyen, Hoang, Menegali, Marcelo, Jung, Junehyuk, Kim, Junsu, Verma, Vikas, Le, Quoc V., Luong, Thang
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Beyond the Plane: AlphaGeometry Re-architected
by: Bordg, Anthony, et al.
Published: (2026)

Newclid: A User-Friendly Replacement for AlphaGeometry
by: Sicca, Vladmir, et al.
Published: (2024)

Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry
by: Sinha, Shiven, et al.
Published: (2024)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
by: Duan, Boyan, et al.
Published: (2025)

Towards Robust Mathematical Reasoning
by: Luong, Thang, et al.
Published: (2025)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
by: Bordg, Anthony
Published: (2026)

Aletheia tackles FirstProof autonomously
by: Feng, Tony, et al.
Published: (2026)

Towards Autonomous Mathematics Research
by: Feng, Tony, et al.
Published: (2026)

Utilize Transformers for translating Wikipedia category names
by: Ta, Hoang-Thang, et al.
Published: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Linnik problem for Maass--Hecke cuspforms and effective multiplicity one theorem
by: Jung, Junehyuk, et al.
Published: (2025)

$2$-nodal domain theorems for higher dimensional circle bundles
by: Jung, Junehyuk, et al.
Published: (2022)

Trigonometry and Analytic Tools in Olympiad Geometry Problems, Part I
by: Lignos, Orestis
Published: (2023)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
by: Feng, Tony, et al.
Published: (2026)

Reintroducing the Second Player in EPR
by: Chew, Leroy, et al.
Published: (2026)

Graph Neural Network with One-side Edge Sampling for Fraud Detection
by: Trieu, Hoang Hiep
Published: (2026)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

Can LLMs Generate and Solve Linguistic Olympiad Puzzles?
by: Majmudar, Neh, et al.
Published: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
by: Janota, Mikoláš, et al.
Published: (2026)

Viper-F1: Fast and Fine-Grained Multimodal Understanding with Cross-Modal State-Space Modulation
by: Trinh, Quoc-Huy
Published: (2025)

Solving Physics Olympiad via Reinforcement Learning on Physics Simulators
by: Prabhudesai, Mihir, et al.
Published: (2026)

On Geometry of Dissipation in Multiscale Dynamics and Thermodynamics
by: Ateşli, Begüm, et al.
Published: (2025)

Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling
by: Li, Yafu, et al.
Published: (2026)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
by: Brown, Chad E., et al.
Published: (2025)

GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization
by: Wang, Yikun, et al.
Published: (2025)

A Privacy-Preserving Machine Learning Framework for Edge Intelligence: An Empirical Analysis
by: Trieu, Quoc Lap, et al.
Published: (2026)

Novel GA‐OCEAN Framework for Automatically Designing the Charge‐Pump Circuit
by: Trang Hoang, et al.
Published: (2024)

HaloQuest: A Visual Hallucination Dataset for Advancing Multimodal Reasoning
by: Wang, Zhecan, et al.
Published: (2024)

mashrekur/alphaearth_geometry_agent: AlphaEarth_Geometry_Agentic
by: Mashrekur Rahman
Published: (2026)

mashrekur/alphaearth_geometry_agent: AlphaEarth_Geometry_Agent
by: Mashrekur Rahman
Published: (2026)

Characterizing AlphaEarth Embedding Geometry for Agentic Environmental Reasoning
by: Rahman, Mashrekur, et al.
Published: (2026)

FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
by: Zhang, Xiaokai, et al.
Published: (2023)

Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
by: Gao, Songyang, et al.
Published: (2025)

Diffusion Model in Latent Space for Medical Image Segmentation Task
by: Ngoc, Huynh Trinh, et al.
Published: (2025)

Learning to Solve Compositional Geometry Routing Problems
by: Fan, Mingfeng, et al.
Published: (2026)

Solving the Gibbs Problem with Algebraic Projective Geometry
by: Mancini, Michela, et al.
Published: (2024)

Learning Transferable Motor Skills for Geometry-Aware Robotic Surface Tasks
by: David, Miroslav, et al.
Published: (2026)

The Spacetime of Diffusion Models: An Information Geometry Perspective
by: Karczewski, Rafał, et al.
Published: (2025)

Self-training from Self-memory in Data-to-text Generation
by: Ta, Hoang-Thang
Published: (2024)

BSRBF-KAN: A combination of B-splines and Radial Basis Functions in Kolmogorov-Arnold Networks
by: Ta, Hoang-Thang
Published: (2024)