Publication | Open Access
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
84
Citations
38
References
2021
Year
Unknown Venue
EngineeringGeometryPart-of-speech TaggingSymbolic ComputationLanguage ProcessingText MiningNatural Language ProcessingApplied LinguisticsGeometric Constraint SolvingComputational LinguisticsGeometric ReasoningLanguage StudiesComputational GeometryComputer-assisted ReasoningGeometric ModelingSymbolic ManipulationFormal LanguageVolume 1Nlp TaskComputer ScienceReasoningGeometric AlgorithmPan LuAutomated ReasoningFormal MethodsSymbolic ReasoningInterpretable Geometry ProblemLinguistics
Pan Lu, Ran Gong, Shibiao Jiang, Liang Qiu, Siyuan Huang, Xiaodan Liang, Song-Chun Zhu. 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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1