@misc{indiciae3b83855d719e,
  title = {AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning},
  author = {Bowen Ping and Minnan Luo and Zhuohang Dang and Chenxi Wang and Chengyou Jia},
  year = {2026},
  url = {https://arxiv.org/abs/2505.23381},
  note = {Source identifier: 2505.23381}
}