SD-GPS uses solver-driven autoformalization via QwenVL3-2B with RL on executability and an impasse-aware verified theorem proposer to outperform prior methods on Geometry3K and PGPS9K.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
SD-GPS uses solver-driven autoformalization via QwenVL3-2B with RL on executability and an impasse-aware verified theorem proposer to outperform prior methods on Geometry3K and PGPS9K.