Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. - Pan Lu; Ran Gong; Shibiao Jiang; Liang Qiu 001; Siyuan Huang 001; Xiaodan Liang; Song-Chun Zhu (ACL/IJCNLP (1), 2021)