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: about 1 month 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: 2024-11-07T04:36:54.000Z (about 1 month ago)
• Last Synced: 2024-11-12T22:36:22.112Z (about 1 month ago)
• Topics: mathqa, pytorch
• Language: Python
• Homepage:
• Size: 236 MB
• Stars: 126
• Watchers: 6
• Forks: 30
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

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