arXiv cs.AI
· Papers
Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
arXiv:2606.27926v1 Announce Type: new Abstract: 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 stages: autoformalization, which treats multimodal translation as a static