Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning.

Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu

Browse the full ACL paper archive.