TY  - RPRT
TI  - Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing
AU  - Can Li
AU  - Ting Zhang
AU  - Junbo Zhao
AU  - Hua Huang
PY  - 2026
UR  - https://arxiv.org/abs/2606.27926
ID  - 2606.27926
ER  -