@article{verifiablegeometryproblemsolvingsolverdr,
  title = {Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing},
  author = {Can Li and Ting Zhang and Junbo Zhao and Hua Huang},
  year = {2026},
  eprint = {2606.27926},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.27926},
}