TY  - RPRT
TI  - TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
AU  - Daocheng Fu
AU  - Jianlong Chen
AU  - Renqiu Xia
AU  - Zijun Chen
AU  - Qi Liu
AU  - Yuan Feng
AU  - Hongbin Zhou
AU  - Renrui Zhang
AU  - Shiyang Feng
AU  - Peng Gao
AU  - Hongyuan Zha
AU  - Junchi Yan
AU  - Botian Shi
AU  - Yu Qiao
AU  - Bo Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2504.15780
ID  - 2504.15780
ER  -