Home › Entities › academia › Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

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

Research article (Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers), 2021) · cited 96× · AI/ML
academia openalex:W3176371077
Press Enter · cited answer in seconds

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

Summary

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning is a scholarly article[1].

Key Facts

  • Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning's instance of is recorded as scholarly article[2].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. Retrieved May 24, 2026, from https://4ort.xyz/entity/inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning
MLA “Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning.
BibTeX @misc{4ortxyz_inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning}}, year = {2026}, url = {https://4ort.xyz/entity/inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning — https://4ort.xyz/entity/inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/inter-gps-interpretable-geometry-problem-solving-with-formal-language-and-symbolic-reasoning · Last refreshed: