Solving Geometry Problems: Combining Text and Diagram Interpretation
2015pp. 1466–1476
Citations Over TimeTop 1% of 2015 papers
Abstract
This paper introduces GEOS, the first automated system to solve unaltered SAT geometry questions by combining text understanding and diagram interpretation. We model the problem of understanding geometry questions as submodular optimization, and identify a formal problem description likely to be compatible with both the question text and diagram. GEOS then feeds the description to a geometric solver that attempts to determine the correct answer. In our experiments, GEOS achieves a 49% score on official SAT questions, and a score of 61% on practice questions. 1 Finally, we show that by integrating textual and visual information, GEOS boosts the accuracy of dependency and semantic parsing of the question text.
Related Papers
- → Submodular Cost Submodular Cover with an Approximate Oracle(2019)5 cited
- → Expressibility of Submodular Languages(2012)
- Smooth interactive submodular set cover(2015)
- → Two-stage non-submodular maximization(2023)