04:00
2026-06-29
arxiv.org
artificial-intelligence
Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
Researchers propose SD-GPS, a solver-driven framework for geometry problem solving that integrates autoformalization and theorem proposing. The framework uses a symbolic solver as an execution oracle …