https://github.com/lupantech/InterGPS

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
https://github.com/lupantech/InterGPS

mathqa pytorch

Last synced: 3 months ago
JSON representation

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

• Host: GitHub
• URL: https://github.com/lupantech/InterGPS
• Owner: lupantech
• License: mit
• Created: 2021-05-11T00:24:06.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-10-24T21:50:19.000Z (about 3 years ago)
• Last Synced: 2024-06-24T05:49:42.041Z (5 months ago)
• Topics: mathqa, pytorch
• Language: Python
• Homepage:
• Size: 236 MB
• Stars: 116
• Watchers: 5
• Forks: 25
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• StarryDivineSky - lupantech/InterGPS - GPS 将几何关系集 R 和定理集 KB 作为输入，应用定理预测器预测适用的定理序列，逐步对关系集进行符号推理，从而输出问题目标的答案。 (其他_NLP自然语言处理 / 其他_文本生成、文本对话)