# Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing

Source: https://arxiv.org/abs/2606.27926
Published: 2026-06-26
Status: unreviewed source report

## Source excerpt (up to 25 words)

> Geometry Problem Solving have increasingly adopt the neuro-symbolic paradigm, combining neural intuition with symbolic rigor. However, current frameworks suffer from severe bottlenecks in two core

## Review question

Inspect the formal statement, imported axioms, admitted lemmas, checker version and correspondence with the informal theorem. A successful compiler exit alone does not prove that the intended question was formalized.

No independent proof check or claim of peer review.