TY  - RPRT
TI  - Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
AU  - Pan Lu
AU  - Ran Gong
AU  - Shibiao Jiang
AU  - Liang Qiu
AU  - Siyuan Huang
AU  - Xiaodan Liang
AU  - Song-Chun Zhu
PY  - 2021
UR  - https://arxiv.org/abs/2105.04165
ID  - 2105.04165
ER  -