@misc{indiciaee4891dfebaec,
  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://arxiv.org/abs/2105.04165},
  note = {Source identifier: 2105.04165}
}