Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning Pan Lu author Ran Gong author Shibiao Jiang author Liang Qiu author Siyuan Huang author Xiaodan Liang author Song-Chun Zhu author 2021-08 text Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers) Chengqing Zong editor Fei Xia editor Wenjie Li editor Roberto Navigli editor Association for Computational Linguistics Online conference publication lu-etal-2021-inter 10.18653/v1/2021.acl-long.528 https://aclanthology.org/2021.acl-long.528/ 2021-08 6774 6786