Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song Chun Zhu. Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. In Chengqing Zong, Fei Xia, Wenjie Li 0002, Roberto Navigli, editors, Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, ACL/IJCNLP 2021, (Volume 1: Long Papers), Virtual Event, August 1-6, 2021. pages 6774-6786, Association for Computational Linguistics, 2021. [doi]
@inproceedings{LuGJQHLZ20,
title = {Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning},
author = {Pan Lu and Ran Gong and Shibiao Jiang and Liang Qiu and Siyuan Huang and Xiaodan Liang and Song Chun Zhu},
year = {2021},
url = {https://aclanthology.org/2021.acl-long.528},
researchr = {https://researchr.org/publication/LuGJQHLZ20},
cites = {0},
citedby = {0},
pages = {6774-6786},
booktitle = {Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, ACL/IJCNLP 2021, (Volume 1: Long Papers), Virtual Event, August 1-6, 2021},
editor = {Chengqing Zong and Fei Xia and Wenjie Li 0002 and Roberto Navigli},
publisher = {Association for Computational Linguistics},
isbn = {978-1-954085-52-7},
}