{"type": "article", "title": "Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/verifiable-geometry-problem-solving-solver-driven-autoformalization-and-theorem", "original_source": "https://arxiv.org/abs/2606.27926", "published": "2026-06-29T04:00:00+00:00", "accessed": "2026-06-29", "id": "verifiable-geometry-problem-solving-solver-driven-autoformalization-and-theorem"}