TY  - RPRT
TI  - AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
AU  - Bowen Ping
AU  - Minnan Luo
AU  - Zhuohang Dang
AU  - Chenxi Wang
AU  - Chengyou Jia
PY  - 2026
UR  - https://arxiv.org/abs/2505.23381
ID  - 2505.23381
ER  -