ГЕОС

This paper introduces GEOS, the first au- tomated system to solve unaltered SAT ge- ometry questions by combining text un- derstanding and diagram interpretation. We model the problem of understanding …...

Automatic math problem solving has re- cently attracted increasing attention as a long- standing AI benchmark. In this paper, we fo- cus on solving geometric problems, which re- quires a …...