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

1 code implementation • ACL 2021 • Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu

We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS).

Arithmetic Reasoning Mathematical Question Answering +5