Papers Geometry Problem Solving
“Geometry Problem Solving” 태그가 달린 논문 27편 · 필터 해제
LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
Geometry problem solving (GPS) is a challenging mathematical reasoning task requiring multi-modal understanding, fusion, and reasoning. Existing neural solvers take GPS as a vision-language task but are short in the repr…
Geometry Problem SolvingLanguage ModellingMathematical ReasoningFormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-le…
Geometry Problem SolvingA Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
Geometry problem solving (GPS) is a high-level mathematical reasoning requiring the capacities of multi-modal fusion and geometric knowledge application. Recently, neural solvers have shown great potential in GPS but sti…
Geometry Problem SolvingMathematical ReasoningUniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
Geometry problem solving is a well-recognized testbed for evaluating the high-level multi-modal reasoning capability of deep models. In most existing works, two main geometry problems: calculation and proving, are usuall…
Geometry Problem SolvingLogical ReasoningMathMathematical ReasoningPGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems
Diagram parsing is an important foundation for geometry problem solving, attracting increasing attention in the field of intelligent education and document image understanding. Due to the complex layout and between-primi…
Geometry Problem SolvingPlane Geometry Diagram Parsing
Geometry diagram parsing plays a key role in geometry problem solving, wherein the primitive extraction and relation parsing remain challenging due to the complex layout and between-primitive relationship. In this paper,…
Geometry Problem SolvingGraph Neural NetworkInstance SegmentationMathematical Question Answering+3Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
Geometry problem solving has attracted much attention in the NLP community recently. The task is challenging as it requires abstract problem understanding and symbolic reasoning with axiomatic knowledge. However, current…
Arithmetic ReasoningGeometry Problem SolvingMathematical Question AnsweringMathematical Reasoning+5